TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Gödel’s Incompleteness Theorem for dummies

9 pointsby heliumabout 15 years ago

2 comments

arsabout 15 years ago
What?<p>That is not the incompleteness theorem, that's a form of the Liar paradox.<p>He also has not established his ability to create such a sentence in the first place. If the UTM is really universal he won't be able to find such a sentence.
评论 #1208147 未加载
j_bakerabout 15 years ago
The linked page is a much better resource for understanding the Incompleteness Theorem: <a href="http://www.miskatonic.org/godel.html" rel="nofollow">http://www.miskatonic.org/godel.html</a>