Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
pfdietz
32 days ago
|
parent
|
context
|
favorite
| on:
How Gödel's Proof Works (2020)
How is that a paradox? And how does that imply the correct argument I gave doesn't work? (It doesn't imply that.)
GoblinSlayer
32 days 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
32 days ago
|
parent
[–]
> 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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
