2 ms·
The objectivity I claim does not reside in the dogmatic axioms, they are indeed unproven, the objectivity is in the fact that a some theorem provably follows fr
by DoctorOetker 4y ago
The objectivity I claim does not reside in the dogmatic axioms, they are indeed unproven, the objectivity is in the fact that a some theorem provably follows from the axioms.
I state nothing less myself when I describe "fundamentalism" as a better moniker: the quest for locally minimal sets of axioms that allow maximal sets of theorems to follow from them without generating mathematical inconsistency.
- RcouF1uZ4gsC 4y ago> the objectivity is in the fact that a some theorem provably follows from the axioms. Actually I don’t think the laws of inference are formally provable.
- DoctorOetker 4y agoThe laws of inference are axioms as well. You can see how its done in say MetaMath.