On Axioms (1975-1999)

"Mathematics has been trivialized, derived from indubitable, trivial axioms in which only absolutely clear trivial terms figure, and from which truth pours down in clear channels." (Imre Lakatos, "Mathematics, Science and Epistemology", 1980)

"The axiom of choice has many important consequences in set theory. It is used in the proof that every infinite set has a denumerable subset, and in the proof that every set has at least one well-ordering. From the latter, it follows that the power of every set is an aleph. Since any two alephs are comparable, so are any two transfinite powers of sets. The axiom of choice is also essential in the arithmetic of transfinite numbers." (R Bunn, "Developments in the Foundations of Mathematics, 1870-1910", 1980)

"If the proof starts from axioms, distinguishes several cases, and takes thirteen lines in the text book […] it may give the youngsters the impression that mathematics consists in proving the most obvious things in the least obvious way." (George Pólya, "Mathematical Discovery: on Understanding, Learning, and Teaching Problem Solving", 1981)

"A slight variation in the axioms at the foundation of a theory can result in huge changes at the frontier." (Stanley P Gudder, "Quantum Probability", 1988)

"The mathematical theories generally called 'mathematical theories of chance' actually ignore chance, uncertainty and probability. The models they consider are purely deterministic, and the quantities they study are, in the final analysis, no more than the mathematical frequencies of particular configurations, among all equally possible configurations, the calculation of which is based on combinatorial analysis. In reality, no axiomatic definition of chance is conceivable." (Maurice Allais, "An Outline of My Main Contributions to Economic Science", [Noble lecture] 1988)

"Whenever we axiomitize a real-world system, we always, of necessity, oversimplify. Frequently, the oversimplification will adequately describe the system for the purposes at hand. In many other cases, the oversimplification may seem deceptively close to reality, when in fact it is far wide of the mark. The best hope, of course, is the use of a model adequate to explain observation. However, when we are unable to develop an adequate model, we would generally be well advised to stick with empiricism and axiomatic imprecision." (James R Thompson, "Empirical Model Building", 1989)

"It is not surprising to find many mathematical ideas interconnected or linked. The expansion of mathematics depends on previously developed ideas. The formation of any mathematical system begins with some undefined terms and axioms (assumptions) and proceeds from there to definitions, theorems, more axioms and so on. But history points out this is not necessarily the route that creativity" (Theoni Pappas, "More Joy of Mathematics: Exploring mathematical insights & concepts", 1991)

"This absolutist view of mathematical knowledge is based on two types of assumptions: those of mathematics, concerning the assumption of axioms and definitions, and those of logic concerning the assumption of axioms, rules of inference and the formal language and its syntax. These are local or micro-assumptions. There is also the possibility of global or macro-assumptions, such as whether logical deduction suffices to establish all mathematical truths." (Paul Ernest, "The Philosophy of Mathematics Education", 1991)

"A mathematical proof is a chain of logical deductions, all stemming from a small number of initial assumptions ('axioms') and subject to the strict rules of mathematical logic. Only such a chain of deductions can establish the validity of a mathematical law, a theorem. And unless this process has been satisfactorily carried out, no relation - regardless of how often it may have been confirmed by observation - is allowed to become a law. It may be given the status of a hypothesis or a conjecture, and all kinds of tentative results may be drawn from it, but no mathematician would ever base definitive conclusions on it." (Eli Maor, "e: The Story of a Number", 1994)

"In view of the developments of abstract mathematics, the first thing mathematicians studied was how to extract the property of 'nearness' from the set of numbers. If the property of nearness could be extracted using a few axioms, and if it was possible to associate the extracted property with a set, then the resulting set would provide an abstract scene to study 'nearness'." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Let us regard a proof of an assertion as a purely mechanical procedure using precise rules of inference starting with a few unassailable axioms. This means that an algorithm can be devised for testing the validity of an alleged proof simply by checking the successive steps of the argument; the rules of inference constitute an algorithm for generating all the statements that can be deduced in a finite number of steps from the axioms." (Edward Beltrami, "What is Random?: Chaos and Order in Mathematics and Life", 1999)