Misplaced Pages

John von Neumann

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by 213.8.225.86 (talk) at 11:22, 24 April 2006. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 11:22, 24 April 2006 by 213.8.225.86 (talk)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff) For other people named John Neumann, see John Neumann (disambiguation).
John von Neumann in the 1940s.

John von Neumann (Neumann János) (December 28, 1903February 8, 1957) was a Hungarian mathematician and polymath of Jewish ancestry who made important contributions in quantum physics, functional analysis, set theory, economics, computer science, numerical analysis, hydrodynamics (of explosions), statistics and many other mathematical fields.

BEN IS THE KING

Most notably, von Neumann was a pioneer of the modern digital computer and the application of operator theory to quantum mechanics (see Von Neumann algebra), a member of the Manhattan Project Team, and creator of game theory and the concept of cellular automata. Along with Edward Teller and Stanislaw Ulam, von Neumann worked out key steps in the nuclear physics involved in thermonuclear reactions and the hydrogen bomb.

Biography

The oldest of three brothers, von Neumann was born Neumann János Lajos (Hungarian names have the family name first) in Budapest, Austria-Hungary (Osztrák-Magyar Monarchia) to Neumann Miksa (Max Neumann), a lawyer who worked in a bank, and Kann Margit (Margaret Kann). Growing up in a non-practising Jewish family, János, nicknamed "Jancsi", was an extraordinary prodigy. At the age of six, he could divide two 8-digit numbers in his head and converse with his father in ancient Greek. At the same age, when his mother once stared aimlessly in front of him, he asked, "What are you calculating?". János was already very interested in math, the nature of numbers and the logic of the world around him. At eight, he was already knowledgeable about the branch of mathematics called analysis; by twelve he was at the graduate level in mathematics. He could memorize pages on sight. It was said that he used to bring two books into the toilet with him for fear of finishing one of them before having completed his bodily functions. He entered the Lutheran Gymnasium in 1911. In 1913, his father purchased a title, and the Neumann family acquired the Hungarian mark of nobility Margittai, or the Austrian equivalent von. Neumann János therefore became János von Neumann — and János was anglicized to John after he, his mother, and his brothers emigrated to the United States in the 1930s. Curiously, he adopted the surname of von Neumann, whereas his brothers adopted the different surnames of Vonneumann and Newman.

Although von Neumann unfailingly dressed formally, with suit and tie, he enjoyed throwing the most extravagant parties and driving hazardously (frequently while reading a book, and sometimes crashing into a tree or getting himself arrested as a consequence). He was a profoundly committed hedonist who liked to eat and drink heavily (it was said that he knew how to count everything, except calories), tell dirty stories and very insensitive jokes (e.g. "bodily violence is a displeasure done with the intention of giving pleasure"), and insistently gaze at the legs of young women (so much so that the female secretaries at Los Alamos were often compelled to cover up the exposed undersides of their desks with sheets of paper or cardboard.)

He received his Ph.D. in mathematics (with minors in experimental physics and chemistry) from the University of Budapest at the age of 23. He simultaneously learned chemical engineering in Switzerland. Between 1926 and 1930 he was a private lecturer in Berlin, Germany.

Von Neumann was invited to Princeton University in 1930, and was one of four people selected for the first faculty of the Institute for Advanced Study (with no teaching duties), where he was a mathematics professor from its formation in 1933 until his death.

From 1936 to 1938, Alan Turing was a visitor at the Institute, where he completed a Ph.D. dissertation under the supervision of Alonzo Church at Princeton. This visit occurred shortly after Turing's publication of his 1936 paper "On Computable Numbers with an Application to the Entscheidungsproblem" which involved the concepts of logical design and the universal machine. Von Neumann must have known of Turing's ideas but it is not clear whether he applied them to the design of the IAS machine ten years later.

In 1937, he became a naturalized citizen of the United States. In 1938 von Neumann was awarded the Bôcher Memorial Prize for his work in analysis.

Von Neumann was married twice. His first wife was Mariette Kövesi, whom he married in 1930. When he proposed to her, he was incapable of expressing anything beyond "You and I might be able to have some fun together, seeing as how we both like to drink." Von Neumann agreed to convert to Catholicism to placate her family. The couple divorced in 1937, and then Von Neumann married his second wife, Klara Dan, in 1938. Von Neumann had one child, by his first marriage, his daughter Marina von Neumann Whitman. Marina later married and now is a distinguished professor of both international trade and public policy at the University of Michigan.

Von Neumann contracted bone cancer or pancreatic cancer in 1957, possibly caused by exposure to radioactivity while observing A-bomb tests in the Pacific, and possibly in later work on nuclear weapons at Los Alamos, New Mexico. (Fellow nuclear pioneer Enrico Fermi had died of bone cancer in 1954.) Von Neumann died within a few months of the initial diagnosis, in excruciating pain. The cancer had also spread to his brain, drastically cutting his ability to think, previously his sharpest and cherished tool. As he lay dying in Walter Reed Hospital in Washington, D.C., he shocked his friends and acquaintances by asking to speak with a Roman Catholic priest.

Von Neumann entertained notions which would now trouble many. He dreamed of manipulating the environment by, for example, spreading artificial colorants on the polar ice caps in order to enhance the absorption of solar radiation (by reducing the albedo) and thereby raise global temperatures. He also favored a preventive nuclear attack on the USSR, believing that doing so could prevent it from obtaining the atomic bomb.

Logic

The axiomatization of mathematics, on the model of Euclid's Elements, had reached new levels of rigor and breadth at the end of the 19th century, particularly in arithmetic (thanks to Richard Dedekind and Giuseppe Peano) and geometry (thanks to David Hilbert). At the beginning of the twentieth century, however, set theory, the new branch of mathematics invented by Georg Cantor, and thrown into crisis by Bertrand Russell with the discovery of his famous paradox (on the set of all sets which do not belong to themselves), had not yet been formalized. Russell's paradox consisted in the observation that if the set x (of all sets which are not members of themselves) was a member of itself, then it must belong to the set of all sets which do not belong to themselves, and therefore cannot belong to itself; on the other hand, if the set x does not belong to itself, then it must belong to the set of all sets which do not belong to themselves, and therefore it must belong to itself.

The problem of an adequate axiomatization of set theory was resolved implicitly about twenty years later (thanks to Ernst Zermelo and Abraham Frankel) by way of a series of principles which allowed for the construction of all sets used in the actual practice of mathematics, but which did not explicitly exclude the possibility of the existence of sets which belong to themselves. In his doctoral thesis of 1925, von Neumann demonstrated how it was possible to exclude this possibility in two complementary ways: the axiom of foundation and the notion of class.

The axiom of foundation established that every set can be constructed from the bottom up in an ordered succession of steps by way of the principles of Zermelo and Frankel, in such a manner that if one set belongs to another then the first must necessarily come before the second in the succession (hence excluding the possibility of a set belonging to itself.) In order to demonstrate that the addition of this new axiom to the others did not produce contradictions, von Neumann introduced a method of demonstration (called the method of internal models) which later became an essential instrument in set theory.

The second approach to the problem took as its base the notion of class, and defines a set as a class which belongs to other classes, while a proper class is defined as a class which does not belong to other classes. While, on the Zermelo/Frankel approach, the axioms impede the construction of a set of all sets which do not belong to themselves, on the von Neumann approach, the class of all classes which do not belong to themselves can be constructed, but it is a proper class and not a set.

With this contribution of von Neumann, the axiomatic system of the theory of sets became fully satisfactory, and the next question was whether or not it was also definitive, and not subject to improvement. A strongly negative answer arrived in September of 1930 at the historical mathematical Congress of Konigsberg, in which Kurt Gödel announced his famous first theorem of incompleteness: the usual axiomatic systems are incomplete, in the sense that they cannot prove every truth which is expressible in their language. This result was sufficiently innovative as to confound the majority of mathematicians of the time. But von Neumann, who had participated at the Congress, confirmed his fame as an instantaneous thinker, and in less than a month was able to communicate to Gödel himself an interesting consequence of his theorem: the usual axiomatic systems are unable to demonstrate their own consistency. It is precisely this consequence which has attracted the most attention, even if Gödel originally considered it only a curiosity, and had derived it independently anyway (it is for this reason that the result is called Gödel's second theorem, without mention of von Neumann.)

Quantum mechanics

At the International Congress of Mathematicians of 1900, David Hilbert presented his famous list of twenty-three problems considered central for the development of the mathematics of the new century: the sixth of these was the axiomatization of physical theories. Among the new physical theories of the century the only one which had yet to receive such a treatment by the end of the 1930's was quantum mechanics. In fact, QM found itself, at this time, in a condition of foundational crisis similar to that of set theory at the beginning of the century, facing problems of both philosophical and technical natures: on the one hand, its apparent non-determinism had not been reduced, as Albert Einstein believed it must be in order to be satisfactory and complete, to an explanation of a deterministic form; on the other, there still existed two independent but equivalent heuristic formulations, the so-called matrix mechanical formulation due to Werner Heisenberg and the wave mechanical formulation due to Erwin Schrödinger, but there was not yet a single, unified satisfactory theoretical formulation.

After having completed the axiomatization of set theory, von Neumann began to confront the axiomatization of QM. He immediately realized, in 1926, that a quantum system could be considered as a point in a so-called Hilbert space, analogous to the 6N dimension (N is the number of particles, 3 general coordinate and 3 canonical momentum for each) phase space of classical mechanics but with infinitely many dimensions (corresponding to the infinitely many possible states of the system) instead: the traditional physical quantities (e.g. position and momentum) could therefore be represented as particular linear operators operating in these spaces. The physics of quantum mechanics was thereby reduced to the mathematics of the linear Hermitian operators on Hilbert spaces. For example, the famous indeterminacy principle of Heisenberg, according to which the determination of the position of a particle prevents the determination of its momentum and vice versa, is translated into the non-commutativity of the two corresponding operators. This new mathematical formulation included as special cases the formulations of both Heisenberg and Schrödinger, and culminated in the 1932 classic The Mathematical Foundations of Quantum Mechanics. However, physicists generally ended up preferring another approach to that of von Neumann (which was considered extremely elegant and satisfactory by mathematicians). This approach was formulated in 1930 by Paul Dirac and was based upon a strange type of function (the so-called delta of Dirac) which was harshly criticized by von Neumann.

In any case, von Neumann's abstract treatment permitted him also to confront the extremely hot-button foundational issue of determinism vs. non-determinism and in the book he demonstrated a theorem according to which quantum mechanics could not possibly be derived by statistical approximation from a deterministic theory of the type used in classical mechanics. This demonstration contained a conceptual error, but it helped to inaugurate a line of research which, through the work of John Stuart Bell in 1964 on Bell's Theorem and the experiments of Alain Aspect in 1982, eventually demonstrated that quantum physics does indeed require a notion of reality substantially different from that of classical physics.

In a complementary work of 1936, von Neumann proved (along with Garrett Birkhoff) that quantum mechanics also requires a logic substantially different from the classical one. For example, light (photons) cannot pass through two successive filters which are polarized perpendicularly (e.g. one horizontally and the other vertically), and therefore, a fortiori, it cannot pass if a third filter polarized diagonally is added to the other two, either before or after them in the succession. But if the third filter is added in between the other two, the photons will indeed pass through. And this experimental fact is translatable into logic as the non-commutativity of conjunction ( A B ) ( B A ) {\displaystyle (A\land B)\neq (B\land A)} . It was also demonstrated that the laws of distribution of classical logic, P ( Q R ) = ( P Q ) ( P R ) {\displaystyle P\lor (Q\land R)=(P\lor Q)\land (P\lor R)} and P ( Q R ) = ( P Q ) ( P R ) {\displaystyle P\land (Q\lor R)=(P\land Q)\lor (P\land R)} , are not valid for quantum theory. The reason for this is that a quantum disjunction, unlike the case for classical disjunction, can be true even when both of the disjuncts are false and this is, in turn, attributable to the fact that it is frequently the case, in quantum mechanics, that a pair of alternatives are semantically determinate, while each of its members are necessarily indeterminate. This latter property can be illustrated by a simple example. Suppose we are dealing with particles (such as electrons) of semi-integral spin (angular momentum) for which there are only two possible values: positive or negative. Then, a principle of indetermination establishes that the spin, relative to two different directions (e.g. x and y) results in a pair of incompatible quantities. Suppose that the state ɸ of a certain electron verifies the proposition "the spin of the electron x is positive." By the principle of indeterminacy, the value of the spin in the direction y will be completely indeterminate for ɸ. Hence, ɸ can verify neither the proposition "the spin in the direction of y is positive" nor the proposition "the spin in the direction of y is negative." Nevertheless, the disjunction of the propositions "the spin in the direction of y is positive or the spin the direction of y is negative" must be true for ɸ. In the case of distribution, it is therefore possible to have a situation in which A ( B C ) = A 1 = A {\displaystyle A\land (B\lor C)=A\land 1=A} , while ( A B ) ( A C ) = 0 0 = 0 {\displaystyle (A\land B)\lor (A\land C)=0\lor 0=0} .

Economics

Up until the 1930s, the field of economics seemed to involve the utilization of a great deal of mathematics and numbers; but almost all of this was either superficial or irrelevant. It was used, for the most part, in order to provide uselessly precise formulations and solutions to problems which were, in fact, intrinsically vague. Economics found itself in a state similar to that of the physics of the 17th century: still waiting for the development of an appropriate language in which to express and resolve its problems. While physics, of course, had found its language in the infinitesimal calculus, von Neumann proposed the language of game theory and the theory of general equilibria for economics.

His first significant contribution was the minimax theorem of 1928. This theorem establishes that in certain so-called zero sum games (games in which the winnings of one player are equal and contrary to the losses of his opponent) involving perfect information (in which, that is, each player knows a priori both the strategies of their opponent as well as their consequences), there exists one strategy which allows both players to minimize their maximum losses (hence the name minimax). In particular, for every possible strategy of his own, a player must consider all the possible responses of his adversary and the maximum loss that he could derive. He then plays out the strategy which will result in the minimization of this maximum loss. Such a strategy, which minimizes the maximum loss, is called optimal for both players just in case their minimaxes are equal (in absolute value) and contrary (in sign). If the common value is zero, the game becomes pointless.

Von Neumann eventually improved and extended the minimax theorem to include games involving imperfect information and games with more than two players. This work culminated in the 1944 classic The Theory of Games and Economic Behavior (written with Oskar Morgenstern).

Von Neumann's second important contribution in this area was the solution, in 1937, of a problem first described by Leon Walras in 1874: the existence of situations of equilibrium in mathematical models of market development based on supply and demand. He first recognized that such a model should be expressed through disequations (as is done today) and not equations (as had been the previous practice), and then he found a solution to Walras problem by applying a fixed-point theorem derived from the work of Luitzen Brouwer. The lasting importance of the work on general equilibria and the methodology of fixed point theorems is underscored by the awarding of Nobel prizes in 1972 to Kenneth Arrow and, in 1983, to Gerard Debreu.

Von Neumann (with Morgenstern in their 1944 book) was the first to employ the method of proof, used in game theory, known as backward induction .

Armaments

In 1937 von Neumann, having recently obtained his US citizenship, began to take an interest in problems in applied mathematics. He rapidly became one of the top experts in the field of explosives, and he committed himself to a very large number of military consultancies, primarily for the Navy (it seems possible that he preferred socializing with admirals rather than generals because the former tended to enjoy drinking liquor while the latter preferred coffee.)

One noted result in the field of explosions was the discovery that bombs of large dimension are more devastating if they detonate before touching the soil because of the additional force caused by waves of detonation (the media maintained more simply that von Neumann had discovered that it is better to miss a target than to hit it). The most famous (or infamous) application of this discovery occurred on the 6th and 9th of August 1945, when two nuclear weapons were detonated above the soils of Hiroshima and Nagasaki, at the precise altitude calculated by von Neumann himself in order that they would produce the most extensive damage possible.

But this was not the only contribution of von Neumann to nuclear warfare. From a technical point of view, much more substantial was his work, in collaboration with Klaus Fuchs on the so-called lenses of implosion, the stratification of explosives around a mass of plutonium which permits for its compression to the point of initiating the chain reaction. In 1946, he and Fuchs filed jointly for an English patent on the method; Fuchs, an atomic spy & traitor, also passed the design along to the Soviet Union. (Herken 2002, p. 171)

From a political point of view, von Neumann was a member of the committee whose job it was to select potential "targets". Von Neumann's first choice, the city of Kyoto, was dismissed out of hand by the Secretary of War Henry Stimson.

According to J. Robert Oppenheimer, the nuclear enterprise had transformed scientists into "destroyers of worlds". Von Neumann's rather cynical reply was that "sometimes someone confesses a sin in order to take credit for it." In any case, he continued unperturbed in this work, and eventually became, along with Edward Teller, one of the most convinced sustainers of the successive project of the construction of the hydrogen bomb. A key ingredient in the design of the H-bomb was conceived of by mathematician Stanislaw Ulam. In any case, a successful design for an H-bomb required working out very difficult problems in the hydrodynamics of explosions. Since these cannot be solved using pencil, paper, and slide rule, Ulam and von Neumann collaborated in working out numerical solutions utilizing von Neumann's new electronic digital computers. Ulam and von Neumann also wrote and submitted a patent application on how to make an H-bomb, but this patent has never been granted, because that application is classified higher than Top Secret by the U.S. Department of Defense.

The H-bomb project in the United States was approved by President Harry Truman notwithstanding the contrary recommendation of the scientific committee presided over by Oppenheimer, who had come to believe that scientists had already done more than enough harm to humanity. The H-bomb project in the U.S. reached a crucial milestone with the detonation of the "Mike" 10 megaton test explosion on Eniwetok Atoll on November 1, 1952. Numerous other tests in the Pacific Ocean followed.

Computer science

Von Neumann gave his name to the von Neumann architecture used in almost all computers, because of his publication of the concept; though many feel that this naming ignores the contribution of J. Presper Eckert and John William Mauchly who worked on the concept during their work on ENIAC. Virtually every home computer, microcomputer, minicomputer and mainframe computer is a von Neumann machine. He also created the field of cellular automata without computers, constructing the first examples of self-replicating automata with pencil and graph paper. The concept of a universal constructor was fleshed out in his posthumous work Theory of Self Reproducing Automata. The term "von Neumann machine" alternatively refers to self-replicating machines. Von Neumann proved that the most effective way large-scale mining operations such as mining an entire moon or asteroid belt could be accomplished is through the use of self-replicating machines, to take advantage of the exponential growth of such mechanisms.

In addition to his work on computer architecture, he is credited with at least one contribution to the study of algorithms. Donald Knuth cites von Neumann as the inventor, in 1945, of the well-known merge sort algorithm, in which the first and second halves of an array are each sorted recursively and then merged together.

He also engaged in exploration of problems in the field of numerical hydrodynamics. With R. D. Richtmyer he developed an algorithm defining artificial viscosity, that proved essential to understanding many kinds of shock waves. It can fairly be said that we would not understand much of astrophysics, and we might not even have highly developed jet and rocket engines, without that work. The problem to be solved was that when computers solve hydrodynamic or aerodynamic problems, they try to put too many computational grid-points at regions of sharp discontinuity (shock waves). The artificial viscosity was a mathematical trick to slightly smooth the shock transition without sacrificing basic physics.

Politics and social affairs

Von Neumann had experienced a lightning-like academic career similar to the velocity of his own intellect, obtaining at the age of twenty-nine one of the first five professorships at the newly born Institute for Advanced Study at Princeton (another had gone to Albert Einstein). He seemed compelled, therefore, to seek out other fields of interest in order to satisfy his ambitious personality, and he found this outlet in the collaboration (some might say, collaborationism) with the military-industrial complex. He was a frequent consultant for the CIA, the US Military, the RAND Corporation, Standard Oil, IBM, and others.

During a Senate committee hearing, he once described his political ideology as, in his own words "violently anti-communist, and much more militaristic than the norm." As President of the so-called Von Neumann Committee for Missiles at first, and as a member of the restricted Commission for Atomic Energy later, starting from 1953 up until his death in 1957, he was the scientist with the most political power in the US. Through his committee, he developed various scenarios of nuclear proliferation, the development of intercontinental and submarine missiles with atomic warheads, and the highly controversial strategic equilibrium called Mutually Assured Destruction. In a word, he was the mind behind the scientific aspects of the Cold War which conditioned the Western world for forty years.

He died, tragically but perhaps ironically, of bone cancer and pancreatic cancer possibly contracted through exposure to the radiation of the nuclear tests conducted at Bikini Atoll in 1946, tests whose security for observers he had so tenaciously defended so many years earlier. Von Neumann's deathbed was under military guard lest he, heavily drugged, accidentally divulge the highly sensitive secrets he was privy to.

Honors

File:John von Neumann.JPG
U.S. postage stamp commemorating von Neumann

The John von Neumann Theory Prize of the Institute for Operations Research and Management Science (INFORMS, previously TIMS-ORSA) is awarded annually to an individual (or sometimes group) who have made fundamental and sustained contributions to theory in operations research and the management sciences.

The IEEE John von Neumann Medal is awarded annually by the IEEE "for outstanding achievements in computer-related science and technology."

The John von Neumann Lecture is given annually at the Society for Industrial and Applied Mathematics (SIAM) by a researcher who has contributed to applied mathematics; the chosen lecturer is also awarded a monetary prize.

Von Neumann, a crater on Earth's Moon, is named after John von Neumann.

On May 4, 2005 the United States Postal Service issued the American Scientists commemorative postage stamp series, a set of four 37-cent self-adhesive stamps in several configurations. The scientists depicted were John von Neumann, Barbara McClintock, Josiah Willard Gibbs, and Richard Feynman.

References

This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.

  • Heims, Steve J., 1980. John von Neumann and Norbert Wiener, from Mathematics to the technologies of life and death. MIT Press.
  • Herken, Gregg, 2002. Brotherhood of the Bomb: The Tangled Lives and Loyalties of Robert Oppenheimer, Ernest Lawrence, and Edward Teller.
  • Israel, Giorgio, and Gasca, Ana Millan, 1995. The World as a Mathematical Game: John von Neumann, Twentieth Century Scientist.
  • Macrae, Norman, 1992. John von Neumann.

Further reading

  • Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press.
    • 1923. "On the introduction of transfinite numbers," 346-54.
    • 1925. "An axiomatization of set theory," 393-413.
  • 1932. "Mathematical Foundations of Quantum Mechanics", Beyer, R. T., trans. Princeton U. Press.
  • 1944. (with 'Oskar Morgenstern) Theory of Games and Economic Behavior. Princeton Univ. Press.
  • 1966. (with Arthur W. Burks) Theory of Self-Reproducing Automata. Univ. of Illinois Press.

Secondary:

  • Aspray, William, 1990. John von Neumann and the Origins of Modern Computing.
  • Dalla Chiara, Maria Luisa and Giuntini, Roberto 1997, La Logica Quantistica in Boniolo, Giovani, ed., Filosofia della Fisica (Philosophy of Physics). Bruno Mondadori.
  • Goldstine, Herman, 1980. The Computer from Pascal to von Neumann.
  • Poundstone, William. Prisoner's Dilemma: John von Neumann, Game Theory and the Puzzle of the Bomb. 1992.
  • 1958, Bulletin of the American Mathemetical Society 64.
  • 1990. Proceedings of the American Mathematical Society Symposia in Pure Mathematics 50.

Students

See also

External links

Template:Link FA

Categories: