i wrote a mathoverflow answer about godel's incompleteness theorem and nonstandard models of arithmetic that believe arithmetic is inconsistent that some of you might be interested in:
Conversation
thinking about the incompleteness theorem is good mental exercise i think. forces you to get really clear about the difference between believing something and something being true 🤔
Replying to
it's very striking that the incompleteness theorem, relativity, and quantum mechanics all emerged in the same few decades around WWI and you have to wonder how much of that had to do with people losing faith in the universe making sense in a general sort of way
2
3
26
Replying to
them: objective truth exists
me: ah, so you mean the feeling that something has objective truth exists
1
6
this meme is legitimately one of the best things ever
1
4
Show replies