QC (in Berlin 7/29-???) on Twitter: "@MatjazLeonardis another possible angle is to be like "well first-order logic just isn't that great then" (second-order PA has the natural numbers as a unique model)" / Twitter

related to this, i've observed a funny pattern with respect to godel's incompleteness theorem specifically that the better someone understands the technical details behind it, the less philosophical or metaphysical significance they assign it

Quote Tweet

David Chapman

@Meaningness

· Jan 24

How the foundational crises in math and physics a century ago undermined confidence in social institutions, leading—via the anti-rational New Age and Evangelical movements—to our current chaotic dysfunctions. meaningness.com/collapse-of-ra

Show this thread

119

Matjaž Leonardis

@MatjazLeonardis

Feb 2

I have the exact same experience. Eventually you start asking Qs like: Why would you expect some random system of statements to be complete (no system with two models ever is)? Why could all truth about naturals be captured in a finite number of statements? Why this language? Etc

QC (in Berlin 7/29-???)

@QiaochuYuan

Replying to

@MatjazLeonardis

another possible angle is to be like "well first-order logic just isn't that great then" (second-order PA has the natural numbers as a unique model)

5:04 AM · Feb 2, 2022Twitter Web App

Likes

Conversation