|
|
|
|
|
by NHQ
5097 days ago
|
|
I like George Boolos' explanation because it plays with my paradoxic sensebrain, with something like poetry. Why not call it a poem? But I like your explanations too. However, I think that the Goedel card is counter-played well by the Schrodinger one. "This statement cannot be proven" is only a false statement because you inspect it with your system. It might otherwise be completely true. |
|
Gödel doesn't actually rely on any argument regarding the meaning of the statement "this statement cannot be proven"; he merely uses it as inspiration for an analogous entirely formal construction.