Proving Peano Arithmetic Partially Consistent?
Gödel’s Lost Letter and P=NP 2018-03-12
Summary:
An approach to consistency that could work… Kurt Gödel is feeling bored. Not quite in our English sense of “bored”: German has a word Weltschmerz meaning “world-weariness.” In Kurt’s case it’s Überweltschmerz. We have tried for over a month to get him to do another interview like several times before, but he keeps saying there’s […]