This is the classic work upon which modern-day game theory is based. What began as a modest proposal that a mathematician and an economist write a short paper together blossomed, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of (...) scientific inquiry it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences. (shrink)

This book represents the views of one of the greatest mathematicians of the twentieth century on the analogies between computing machines and the living human brain.

The invitation of the Organizing Committee for me to speak about “Unsolved problems in mathematics” fills me as it should with considerable trepidation and a prevailing feeling of personal inadequacy. Hilbert gave a talk on this subject at the similar congress about 50 years ago and this is a very formidable precedent. He stated about a dozen unsolved problems in another widely separated areas of mathematics, and they proved to be prototypical for much of the development that followed in the (...) next decades. It would be absolutely foolish, if I tried to emulate this quite singular feat. In addition I do not know the future and the future at any rate can only be predicted ex post with any degree of reliability. I will, therefore, define what I am trying to do in a much more narrow way, hoping that in this manner I have a better chance of not failing. I will limit myself to a particular area of mathematics which I think I know and I will talk about it and about what its open ends appear to be, particularly in some directions which are not the ones that the evolution so far has mainly emphasized and which are, I think, quite important. (shrink)

I wish to discuss some rather incomplete ideas concerning difficulties that arise in some parts of quantum mechanics. In general there have been no serious difficulties when we are dealing with a finite number of particles, but very essential difficulties arise as soon as we treat a system having an infinite number of degrees of freedom; for example, the theory of holes, which, because of the pair generation, requires an indefinite number of particles; also the Dirac non-relativistic theory of light (...) and the Pauli-Heisenberg relativistic quantum electro-dynamics, these being equivalent to systems consisting of an infinite number of particles. (shrink)

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).

John von Neumann (1903-1957) was undoubtedly one of the scientific geniuses of the 20th century. The main fields to which he contributed include various disciplines of pure and applied mathematics, mathematical and theoretical physics, logic, theoretical computer science, and computer architecture. Von Neumann was also actively involved in politics and science management and he had a major impact on US government decisions during, and especially after, the Second World War. There exist several popular books on his personality (...) and various collections focusing on his achievements in mathematics, computer science, and economy. Strangely enough, to date no detailed appraisal of his seminal contributions to the mathematical foundations of quantum physics has appeared. Von Neumann's theory of measurement and his critique of hidden variables became the touchstone of most debates in the foundations of quantum mechanics. Today, his name also figures most prominently in the mathematically rigorous branches of contemporary quantum mechanics of large systems and quantum field theory. And finally - as one of his last lectures, published in this volume for the first time, shows - he considered the relation of quantum logic and quantum mechanical probability as his most important problem for the second half of the twentieth century. The present volume embraces both historical and systematic analyses of his methodology of mathematical physics, and of the various aspects of his work in the foundations of quantum physics, such as theory of measurement, quantum logic, and quantum mechanical entropy. The volume is rounded off by previously unpublished letters and lectures documenting von Neumann's thinking about quantum theory after his 1932 Mathematical Foundations of Quantum Mechanics. The general part of the Yearbook contains papers emerging from the Institute's annual lecture series and reviews of important publications of philosophy of science and its history. (shrink)

John von Neumann's proof that quantum mechanics is logically incompatible with hidden varibales has been the object of extensive study both by physicists and by historians. The latter have concentrated mainly on the way the proof was interpreted, accepted and rejected between 1932, when it was published, and 1966, when J.S. Bell published the first explicit identification of the mistake it involved. What is proposed in this paper is an investigation into the origins of the proof rather than (...) the aftermath. In the first section, a brief overview of the his personal life and his proof is given to set the scene. There follows a discussion on the merits of using here the historical method employed elsewhere by Andrew Warwick. It will be argued that a study of the origins of von Neumann's proof shows how there is an interaction between the following factors: the broad issues within a specific culture, the learning process of the theoretical physicist concerned, and the conceptual techniques available. In our case, the ‘conceptual technology’ employed by von Neumann is identified as the method of axiomatisation. (shrink)

This paper surveys John von Neumann's work on the mathematical foundations of quantum theories in the light of Hilbert's Sixth Problem concerning the geometrical axiomatization of physics. We argue that in von Neumann's view geometry was so tied to logic that he ultimately developed a logical interpretation of quantum probabilities. That motivated his abandonment of Hilbert space in favor of von Neumann algebras, specifically the type II1II1 factors, as the proper limit of quantum mechanics in infinite (...) dimensions. Finally, we present the reasons why his axiomatic program remained an “unsolved problem” in mathematical physics. A recent unpublished result by Huzimiro Araki, proving that no algebra with a tracial state defined on it, such as the type II1II1 factors, can support any (regular) representation of the canonical commutation relations, is also reviewed and its consequences for von Neumann's projects are discussed. (shrink)

Shortly after Kurt Gödel had announced an early version of the 1st incompleteness theorem, John von Neumann wrote a letter to inform him of a remarkable discovery, i.e. that the consistency of a formal system containing arithmetic is unprovable, now known as the 2nd incompleteness theorem. Although today von Neumann’s proof of the theorem is considered lost, recent literature has explored many of the issues surrounding his discovery. Yet, one question still awaits a satisfactory answer: how did (...) von Neumann achieve his result, knowing as little as he seemingly did about the 1st incompleteness theorem? In this article, I shall advance a conjectural argument to answer this question, after having rejected the argument widely shared in the literature and having analyzed the relevant documents surrounding his discovery. The argument I shall advance strictly links two of the three letters written by von Neumann to Gödel in the late 1930 and early 1931 (i.e. respectively that of November 20, 1930 and that of January 12, 1931) and finds the key for von Neumann’s discovery in his prompt understanding of the Gödel sentence A – as the documents refer to it – as expressing consistency for a formal system that contains arithmetic. (shrink)

This paper interprets John von Neumann's views on the proper role of mathematics in science, with attention to its implications for economics. The evolution of von Neumann's thought over his lifespan, an examination of which is greatly aided by some self-conscious appraisals of von Neumann himself, suggests that von Neumann ended by taking a very pragmatic approach to the use of mathematics. One can almost characterize it as an engineering approach to the philosophy of mathematics (...) since von Neumann takes mathematics to be justified by its applications. This approach, which is surprisingly non-technical and hence accessible to general readers, is then placed in the context of his wider world-view. (shrink)

Papers advocating a hidden-variable interpretation of quantum mechanics typically begin by emphasizing that John von Neumann’s no-go theorem does not apply to them. If authors are ontologically minded, their criticism also takes aim at his theory of measurement as expressed in his seminal 1932 book Mathematical Foundations of Quantum Mechanics Additionally, David Bohm and Basil Hiley have recently argued that “in so far as von Neumann effectively gave the quantum state a certain ontological significance, the net result (...) was to produce a confused and unsatisfactory ontology. This ontology is such that the collapse of the wave function must also have an ontological significance.”. (shrink)

The overaraching goal of this paper is to elucidate the nature of superselection rules in a manner that is accessible to philosophers of science and that brings out the connections between superselection and some of the most fundamental interpretational issues in quantum physics. The formalism of von Neumann algebras is used to characterize three different senses of superselection rules (dubbed, weak, strong, and very strong) and to provide useful necessary and sufficient conditions for each sense. It is then shown (...) how the Haag–Kastler algebraic approach to quantum physics holds the promise of a uniform and comprehensive account of the origin of superselection rules. Some of the challenges that must be met before this promise can be kept are discussed. The focus then turns to the role of superselection rules in solutions to the measurement problem and the emergence of classical properties. It is claimed that the role for “hard” superselection rules is limited, but “soft” (a.k.a. environmental) superselection rules or N. P. Landsman’s situational superselection rules may have a major role to play. Finally, an assessment is given of the recently revived attempts to deconstruct superselection rules. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s (...) Induction-Axiom Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

When von Neumann's and Morgenstern's Theory of Games and Economic Behavior appeared in 1944, one thought that a complete theory of strategic social behavior had appeared out of nowhere. However, game theory has, to this very day, remained a fast-growing assemblage of models which have gradually been united in a new social theory - a theory that is far from being completed even after recent advances in game theory, as evidenced by the work of the three Nobel Prize winners, (...) John F. Nash, John C. Harsanyi, and Reinhard Selten. Two of them, Harsanyi and Selten, have contributed important articles to the present volume. This book leaves no doubt that the game-theoretical models are on the right track to becoming a respectable new theory, just like the great theories of the twentieth century originated from formerly separate models which merged in the course of decades. For social scientists, the age of great discover ies is not over. The recent advances of today's game theory surpass by far the results of traditional game theory. For example, modem game theory has a new empirical and social foundation, namely, societal experiences; this has changed its methods, its "rationality. " Morgenstern (I worked together with him for four years) dreamed of an encompassing theory of social behavior. With the inclusion of the concept of evolution in mathematical form, this dream will become true. Perhaps the new foundation will even lead to a new name, "conflict theory" instead of "game theory. (shrink)

A brief but rigorous description of the logical structure of mathematical truth.

the author has outlined several of the more important interpretations of measurement in quantum mechanics and discussed the problems arising from them. Particular attention was paid to the work of Bohr, Heisenberg and von Neumann and a tentative proposal was made for a possible interpretation which would mitigate some of the problems and dilemmas. This interpretation was essentially that proposed by Margenau in terms of latent variables. He defines measurement to be any operation with physical apparatus which results in (...) a number, including in this, of course, yes and no answers as well as conventional numerical answers. Further he makes the distinction between the preparation of a state and the measurement of the state. A preparation puts the quantum system into a particular state whereas the measurement frequently destroys the state in question. This paper presents several criteria to help in the evaluation of the alternatives presented in the first paper and carries further the suggested interpretation mentioned at the end of that paper. (shrink)

According to Frege, n=Kn, where n is any cardinal number and Kn is the class of all n-tuples. According to Von Neumann, n=Kpn, where Kpn is the class of all of n's predecessors. These analyses are prima facie incompatible with each other, given that Kn≠Kpn, for n>0. In the present paper it is shown that these analyses are in fact compatible with each other, for the reason that each analysis can and ultimately must be interpreted as being to the (...) effect that n=Cn, where Cn is the class of all ordered pairs <Kn#,Rn#>, where Kn# is an arbitrary class and Rn# is an arbitrary relation such that a class k has n-many members exactly if k bears Rn# to Kn#. (shrink)

This book states, illustrates, and evaluates the main points of Russell's Introduction to Mathematical Philosophy. This book also contains a thorough exposition of the fundamentals of set theory, including Cantor's groundbreaking investigations into the theory of transfinite numbers. Topics covered include: *Cardinal number (Frege's analysis) *Cardinal number (von Neumann's analysis) *Ordinal number *Isomorphism *Mathematical induction *Limits and continuity *The arithmetic of transfinites *Set-theoretic definitions of "point" and "instant" *An analysis of cardinal n, for arbitrary n, that, unlike the analyses (...) put forth by Russell and von *Neumann, is not merely adequate but de rigueur. *Cogent analyses of hitherto unsolved paradoxes of set-theory and logic, e.g. the Liar Paradox and Russell's Paradox. (shrink)

In an article in this journal [2], A. C. Michalos, while arguing for the normative and empirical inadequacy of the Von Neumann and Morgenstern postulates of rational preference, completely misconstrued the concept of simple additivity contained in the postulates. As a result, the following argument is a non-sequitur.

For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.