= 27d567bc2d48d9f40e9ccc20ea370b15)
johnlawrenceaspden comments on Rationality Quotes April 2014 - LessWrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (656)
This is beautiful: I can't turn it into equations. Does that refute it or support it?
Did you try? Each sentence in the quote could easily be expressed in some formal system like predicate calculus or something.
There are symbol-juxtapositions which are syntactically or semantically disconnected from any model set in ZFC. There are no sets in ZFC which are similarly separated from statements in a suitable language.
This looks like the sort of thing that I usually find enlightening, but I don't understand it. Could you repeat it in baby-speak?
You can write nonsense formulas on paper which don't correspond to theorems about anything. You can't construct nonsense universes which aren't described by theorems anywhere.
Words only mean anything because we interpret them to correspond to the real world. In the absence of words, the real world continues existing.