3 ms·
Regarding the quote it’s Gödel's incompleteness theorem that proves the ever present need for more “axioms” - and it exists in the cross disciplines of philoso
by twobitshifter 5y ago
Regarding the quote it’s Gödel's incompleteness theorem that proves the ever present need for more “axioms” - and it exists in the cross disciplines of philosophy/math.
- acituan 5y agoFirst 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".