Hacker News
- Turing's topological proof that every written alphabet is finite (2010) https://divisbyzero.com/2010/05/27/turings-topological-proof-that-every-written-alphabet-is-finite/ 114 comments
Linked pages
- Alan Turing - Wikipedia https://en.wikipedia.org/wiki/Alan_Turing 869 comments
- Halting problem - Wikipedia https://en.wikipedia.org/wiki/halting_problem#oracle_machines 129 comments
- Turing machine - Wikipedia http://en.wikipedia.org/wiki/Turing_machine#Concurrency 62 comments
- Compact space - Wikipedia http://en.wikipedia.org/wiki/Compact_space 15 comments
- Entscheidungsproblem - Wikipedia https://en.wikipedia.org/wiki/Entscheidungsproblem 6 comments
- Metric space - Wikipedia http://en.wikipedia.org/wiki/Metric_space 5 comments
Related searches:
Search whole site: site:divisbyzero.com
Search title: Turing’s topological proof that every written alphabet is finite – David Richeson: Division by Zero
See how to search.