[a1369209993]

> you cannot express the truthiness of a statement in the system within the system itself.

Of course not; I'm not talking about truthiness; I'm talking about truth.

> that what you stated above would be a huge result in mathematics

Not really; it's the same sort of trivially-blatantly-obvious thing as "two-boxing on Newcomb's problem is irrational" or "quantum superpositions never actually collapse".

[ithinkso]

> it's the same sort of trivially-blatantly-obvious thing as

> "quantum superpositions never actually collapse"

Popsci is fun,

Never stop learning, even if it's obvious.