|
|
|
|
|
by vog
3986 days ago
|
|
Indeed. Well, rigorous proof is possible within mathematics[1]. However, applying that measure to verifying reality is nonsense. Even within maths, rigorous proofs require decoupling of the abstract proposition (what you prove) from reality (your assumptions). [1] and "theoretical X" for X in {"computer science", "physics", "chemistry", ...}, which all are essentially math as well. |
|