- Is there a name for this space? https://en.wikipedia.org/wiki/G%C3%B6del_numbering#G.C3.B6del.27s_encoding 21 comments math
- Math is incomplete says Kurt Godel, my favorite quote explaining his theorems https://en.wikipedia.org/wiki/G%C3%B6del_numbering 16 comments compsci
Linking pages
- Analyzing Gödel’s Incompleteness Theorem – My Brain's Thoughts https://mybrainsthoughts.com/?p=302 9 comments
- Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part I https://pron.github.io/posts/computation-logic-algebra-pt1 6 comments
- GitHub - ramadis/slang: 📟 Encoding/Decoding tool for Martin David's theoretical S language programs. https://github.com/ramadis/slang 2 comments
- Here's What Killed The British Technology Industry http://www.forbes.com/sites/gregsatell/2015/01/24/heres-what-killed-the-british-technology-industry/ 0 comments
- GitHub - godelize/godelize: Repository for godelize.py which is a script for creating a godel number and unencoding it. https://github.com/godelize/godelize 0 comments
- Gödel’s First Incompleteness Theorem in Simple Symbols and Simple Terms | by Paul Austin Murphy | Cantor’s Paradise https://medium.com/cantors-paradise/g%C3%B6dels-first-incompleteness-theorem-in-simple-symbols-and-simple-terms-7d7020c28ac4 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Gödel numbering - Wikipedia
See how to search.