Cold take: We don’t need more of mathematics to look like the Four Color Theorem (“proved”, but with no insight gained), with the added problems that the “proofs” are now far more laborious to check even for technical correctness, theorem-proving software is less reliable, and oh yeah, we’re holding the population of Memphis to the exhaust pipe of a diesel bus to make it work.
1
Reply
0
Boosts
@bstacey
"""
Finally, we have built 'true or false?', from the classic collective human effort across millenia and cultures,
'What does it mean technically, philosophically, practically, spiritually, and aesthetically, that we might be able to ask abstract questions about not only our reality but potentially all possible realities, and come up with a rigorously way to express many of those questions and give some coherent argument as to whether they are true or false?'
"""
