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 🤔
2
17
them: objective truth exists
me: ah, so you mean the feeling that something has objective truth exists
1
6
Replying to
this meme is legitimately one of the best things ever
Replying to
", said a thought arising from your mind, which is no more than a machine that generates thoughts in response to perceptions
2