Hacker News
- What does “Undecidable” mean, anyway https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/ 182 comments
- What does "Undecidable" mean, anyway https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/ 26 comments programming
Linked pages
- Halting problem - Wikipedia https://en.wikipedia.org/wiki/halting_problem#oracle_machines 129 comments
- NP-Complete isn't (always) Hard • Hillel Wayne https://www.hillelwayne.com/post/np-hard/ 96 comments
- https://liamoc.net/forest/loc-000S/index.xml 71 comments
- Turing kicked us out of Heaven • Buttondown https://buttondown.com/hillelwayne/archive/turing-kicked-us-out-of-heaven/ 60 comments
- Deterministic finite automaton - Wikipedia https://en.wikipedia.org/wiki/Deterministic_finite_automaton 36 comments
- Church–Turing thesis - Wikipedia http://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis 25 comments
- Systems Distributed '24 https://systemsdistributed.com/ 3 comments
- Rice's theorem - Wikipedia https://en.wikipedia.org/wiki/Rice%27s_theorem 0 comments
- Hillel Wayne https://www.hillelwayne.com/ 0 comments
- Logic for Programmers by Hillel Wayne [Leanpub PDF/iPad/Kindle] https://leanpub.com/logic/ 0 comments
Related searches:
Search whole site: site:buttondown.com
Search title: What does "Undecidable" mean, anyway • Buttondown
See how to search.