"When Proofs Deceive — A Taxonomy of Mathematical Certainty in Physics"

Math proves logical consistency under assumptions — not physical reality. Four-type taxonomy of proofs. Ultrametric error confinement as case study. A "proof-physics contract."

doi.org/10.5281/zenodo.20266032

#Math #Physics #PhilosophyOfScience #FormalVerification #QuantumComputing #Research