Hacker News new | ask | show | jobs
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.