4 ms·
Is proving something internal to a system of ad-hoc rules that cannot (to the same standard of proof) be proven to have any correspondance with the natural wor
by mistercheph 3y ago
Is proving something internal to a system of ad-hoc rules that cannot (to the same standard of proof) be proven to have any correspondance with the natural world really proving something? Sincere question.
- epgui 3y agoI think so, yes. You start with axioms, and the proof follows from those. You can argue whether that’s interesting or not, but IMO it’s as much a proof as anything can be, and IMO it’s very interesting.