How can we depend on the mathematical axioms that break down at the nano-level?
61549
Why are continuum fluid mechanics accurate when constituents are discrete objects of finite size?
75085
Can hypercomputation compute the impossible?
113344
How do we prove that something is unprovable?
146261
Difference between topology and sigma-algebra axioms.
57856
Axiom Schema of Separation Parameters
84562
Proof using only field axioms
90938
Feynman's infinite amount of logic for one tiny bit of space
94433
Rigorous underpinnings of infinitesimals in physics
55564
Can the union axiom be weakened?
58631
Continuity and the Axiom of Choice
141814
Proofs using theorems instead of axioms
38939
A book on quantum mechanics supported by the high-level mathematics
118189
Proving the pairing axiom from the rest of ZF
144899
Do We Need the Axiom of Choice for Finite Sets?
16796
Zermelo-Fraenkel set theory and Hilbert's axioms for geometry
30425
How do we make symmetry assumptions rigorous?
63963
deductive system where the axioms are all the propositions that are not tautology