6 ms·
First incompleteness theorem says even with axioms you can't "compute" all truths in a formal system. That is a far cry from "we need axioms to compute truths".
by acituan 5y ago
First incompleteness theorem says even with axioms you can't "compute" all truths in a formal system. That is a far cry from "we need axioms to compute truths".