On Axioms (2010-2019)

"A proof in mathematics is a compelling argument that a proposition holds without exception; a disproof requires only the demonstration of an exception. A mathematical proof does not, in general, establish the empirical truth of whatever is proved. What it establishes is that whatever is proved - usually a theorem - follows logically from the givens, or axioms." (Raymond S Nickerson, "Mathematical Reasoning", 2010)

"Another feature of Bourbaki is that it rejects intuition of any kind. Bourbaki books tend not to contain explanations, examples, or heuristics. One of the main messages of the present book is that we record mathematics for posterity in a strictly rigorous, axiomatic fashion. This is the mathematician’s version of the reproducible experiment with control used by physicists and biologists and chemists. But we learn mathematics, we discover mathematics, we create mathematics using intuition and trial and error. We draw pictures. Certainly, we try things and twist things around and bend things to try to make them work. Unfortunately, Bourbaki does not teach any part of this latter process." (Steven G Krantz, "The Proof is in the Pudding: The Changing Nature of Mathematical Proof", 2010)

"Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three choices appear naturally in a number of axiomatic approaches. However, there are internal problems with real or quaternionic quantum theory. Here we argue that these problems can be resolved if we treat real, complex and quaternionic quantum theory as part of a unified structure. Dyson called this structure the ‘three-fold way’ […] This three-fold classification sheds light on the physics of time reversal symmetry, and it already plays an important role in particle physics." (John C Baez, "Division Algebras and Quantum Theory", 2011)

"While mathematicians now recognize that there is some freedom in the choice of the axioms one uses, not any set of statements can serve as a set of axioms. In particular, every set of axioms must be logically consistent, which is another way of saying that it should not be possible to prove a particular statement simultaneously true and false using the given set of axioms. Also, axioms should always be logically independent - that is, no axiom should be a logical consequence of the others. A statement that is a logical consequence of some of the axioms is a theorem, not an axiom." (John Tabak, "Beyond Geometry: A new mathematics of space and form", 2011)

"Mathematics is so useful because physical scientists and engineers have the good sense to largely ignore the 'religious' fanaticism of professional mathematicians, and their insistence on so-called rigor, that in many cases is misplaced and hypocritical, since it is based on "axioms" that are completely fictional, i. e. those that involve the so-called infinity." (Doron Zeilberger, "Doron Zeilberger's 126th Opinion", 2012)

"[...] it is one thing to posit a set of axioms for a putative discipline. It is quite another to show that those proposed axioms are not mutually contradictory. A set of axioms that is not mutually contradictory is also called a consistent axiom system. Of course, a set of mutually contradictory axioms might be such that one can easily see a contradiction or maybe a simple argument could reveal a contradiction. More worrisome is the possibility that an argument that is very clever or very long or both is needed to reveal a contradiction. Given a mathematical theory that seems to be free of internal contradictions, the way mathematicians show it is, in fact, free of contradictions is by constructing what is called a model for the theory. This involves using another mathematical theory, say set theory, to produce a concrete mathematical object that satisfies the axioms of the theory being investigated. Once a model has been constructed, then we know that if set theory itself is free of internal contradictions, then the same is true of the theory being investigated. In practice, one does not often go all the way back to set theory to construct a model - mathematicians work with higher level constructions - but, in principle, they could start with set theory and work up from there." (Steven G Krantz & Harold R Parks, "A Mathematical Odyssey: Journey from the Real to the Complex", 2014)

"System meaning is informed by the circumstances and factors that surround the system. The contextual axiom's propositions are those which bound the system by providing guidance that enables an investigator to understand the set of external circumstances or factors that enable or constrain a particular system. The contextual axiom has three principles: (1) holism, (2) darkness, and (3) complementarity." (Patrick Hester & Kevin Adams," Systemic Thinking: Fundamentals for Understanding Problems and Messes", 2014)

"Mathematicians usually think not in terms of concrete realizations but in terms of rules that are given axiomatically. Mathematics is the art of arguing with some chosen logic and some chosen axioms. As such, it is simply one of the oldest games with symbols and words." (Alfred S Posamentier & Bernd Thaller, "Numbers: Their tales, types, and treasures", 2015)