@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Deutsch,David}, subject = {Proofs}, note = {I 211 Experiment/proof/tradition: A proof does not refer to the physical world. (DeutschVsTradition: this is wrong.) We can perform a proof in our head, or even when we are stuck in a reality simulator in which virtual reality false physics applies. >Simulation, >Reality, >Provability. I 212 Traditional idea: Certain abstract sizes are not only part of the reality, but even more real than the things of the physical world. >Mathematical entities, >Abstract objects, >Theoretical terms, >Reality. I 237f Proof/David Deutsch: A proof is a physical process. - In contrast to this: size and knowledge of this size. >Description levels, >Levels/order, >Knowledge. Theory: the aim of a theory: not certainty but explanation. Physics is totally understandable. >Physics, >Explanation. Mathematical intuition is incompatible with classical physics. >Quantum Theory.}, note = { Deutsch I D. Deutsch Fabric of Reality, Harmondsworth 1997 German Edition: Die Physik der Welterkenntnis München 2000 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=208146} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=208146} }