“One states as axioms several properties that it would seem natural for the solution to have and then one discovers that the axioms actually determine the solution uniquely. The two approaches to the problem, via the negotiation model or via the axioms, are complementary; each helps to justify and clarify the other.”
"Non-cooperative Games" in Annals of Mathematics, Vol. 54, No. 2 (September 1951)<!-- ; as cited in Can and should the Nash program be looked at as a part of mechanism theory? (2003) by Walter Trockel -->
1950s
Context: We give two independent derivations of our solution of the two-person cooperative game. In the first, the cooperative game is reduced to a non-cooperative game. To do this, one makes the players’ steps of negotiation in the cooperative game become moves in the noncooperative model. Of course, one cannot represent all possible bargaining devices as moves in the non-cooperative game. The negotiation process must be formalized and restricted, but in such a way that each participant is still able to utilize all the essential strengths of his position. The second approach is by the axiomatic method. One states as axioms several properties that it would seem natural for the solution to have and then one discovers that the axioms actually determine the solution uniquely. The two approaches to the problem, via the negotiation model or via the axioms, are complementary; each helps to justify and clarify the other.
Help us to complete the source, original and additional information
John Nash 23
American mathematician and Nobel Prize laureate 1928–2015Related quotes
“It is a political axiom that power follows property.”
Source: Brave New World Revisited (1958), Chapter 12 (p. 113)
Source: Tertium Organum (1912; 1922), Ch. XXI
The Ethic of Freethought (Mar 6, 1883)
Source: Mathematical Thought from Ancient to Modern Times (1972), p. 177
Context: The attempt to avoid a direct affirmation about infinite parallel straight lines caused Euclid to phrase the parallel axiom in a rather complicated way. He realized that, so worded, this axiom lacked the self-sufficiency of the other nine axioms, and there is good reason to believe that he avoided using it until he had to. Many Greeks tried to find substitute axioms for the parallel axiom or to prove it on the basis of the other nine.... Simplicius cites others who worked on the problem and says further that people "in ancient times" objected to the use of the parallel postulate.
Aphorism 19
Novum Organum (1620), Book I
Context: There are and can be only two ways of searching into and discovering truth. The one flies from the senses and particulars to the most general axioms, and from these principles, the truth of which it takes for settled and immovable, proceeds to judgment and to the discovery of middle axioms. And this way is now in fashion. The other derives axioms from the senses and particulars, rising by a gradual and unbroken ascent, so that it arrives at the most general axioms last of all. This is the true way, but as yet untried.
“One solution to one problem makes two problems.”
Annotated Drawings by Eugene J. Martin: 1977-1978
The geometry of the spherical surface can be viewed as the realization of a two-dimensional non-Euclidean geometry: the denial of the axiom of the parallels singles out that generalization of geometry which occurs in the transition from the plane to the curve surface.
The Philosophy of Space and Time (1928, tr. 1957)
