Re:Physics is unreasonably good at creating new math
by tines on Wednesday September 04, 2024 @02:26PM
(#41448887)
No, proof by contradiction is a logical construction, has nothing to do with the real world. Proof by counter-example could or could not be observation, depending on whether your example comes from observation or from pure logic.
[ Parent
| on HN ]
Re:Physics is unreasonably good at creating new math
by trashtester on Thursday September 05, 2024 @12:01PM
(#41457875)
I suppose even in pure math, if you postulate a set of axioms, then proceed to to prove some theorems, you're still at risk of someone providing something like a counter-example showing that your axioms are not consistent, and that not all of them can be true at the same time.
Meaning that even if the inductive logic is 100% correct, the theory can be incorrect due to using mutually exclusive (in some non-obvious way) axioms.