3 ms·
> Paradox is a statement that can't be proved true or false No it isn't. > execution of a Turing machine can't be expressed as a Gödel number Yes it can.
by pfdietz 2mo ago
> Paradox is a statement that can't be proved true or false
No it isn't.
> execution of a Turing machine can't be expressed as a Gödel number
Yes it can.