Hacker News new | ask | show | jobs
by DoctorOetker 232 days ago
Check out metamath.org I can't fathom any valid argument that couldn't be formalized to mathematical statements. There would still be disagreements on axioms and physical postulates, especially where there are conflicts of interest.