|
|
|
|
|
by equanimitivity
781 days ago
|
|
I used to think similarly, but learning about the proven incompleteness of sufficiently rigorous analytic systems has moved me towards appreciating less rigorous ways of interfacing with reality. Veritasium has a nice video on Godel’s incompleteness theorem. It’s quite ironic that it was mathematically provable that analytic systems can never be complete, and can’t be provably coherent. https://m.youtube.com/watch?v=HeQX2HjkcNo&pp=ygUUdmVyaXRhc2l... |
|
If you somehow find an unprovable theorem (quite rare), you can always try with a different set of axioms. Mathematics are not about proving absolute truths of the universe but rather of pushing reasoning over a set of axioms the furthest possible.
Also as a nitpick, analytic systems that don't contain arithmetic can be complete and proven coherent.
As for the real world, facts that can neither be proven true nor false (existence of an immaterial soul for example), I think should be left at that. It is useless speculating about things we can't ever know of. I leave that to religion/spirituality.