3 ms·
Paradox is a statement that can't be proved true or false; "this statement is false" is an example of Gödel statement. The argument doesn't work, because execut
by GoblinSlayer 2mo ago
Paradox is a statement that can't be proved true or false; "this statement is false" is an example of Gödel statement. The argument doesn't work, because execution of a Turing machine can't be expressed as a Gödel number.
- 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.