I thought the obvious loophole was that one can construct statements of the form “Cyan’s brain can’t prove this statement is true”. (The statement is true, but you’ll have to prove it for yourself—you can’t take my word for it.)
I thought the obvious loophole was that one can construct statements of the form “Cyan’s brain can’t prove this statement is true”. (The statement is true, but you’ll have to prove it for yourself—you can’t take my word for it.)