Hacker News
- Weakening Cycles So That Turing Can Halt http://pling.jondgoodwin.com/post/weakening-cycles/ 68 comments
Linked pages
- Gödel, Escher, Bach - Wikipedia http://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach 1216 comments
- Halting problem - Wikipedia https://en.wikipedia.org/wiki/halting_problem#oracle_machines 129 comments
- Cone Programming Language http://cone.jondgoodwin.com/ 70 comments
- Collatz conjecture - Wikipedia https://en.wikipedia.org/wiki/Collatz_conjecture 70 comments
- Remembering John Conway's FRACTRAN, a ridiculous, yet surprisingly deep language http://raganwald.com/2020/05/03/fractran.html 68 comments
- https://arxiv.org/pdf/math/0305282.pdf 39 comments
- Deadlock - Wikipedia http://en.wikipedia.org/wiki/deadlock 25 comments
- Liar paradox - Wikipedia http://en.wikipedia.org/wiki/liar_paradox#possible_resolutions 2 comments
- Dining philosophers problem - Wikipedia https://en.wikipedia.org/wiki/Dining_philosophers_problem 1 comment
- Russell's paradox - Wikipedia https://en.wikipedia.org/wiki/Russell%27s_paradox 1 comment
- Intuitionistic type theory - Wikipedia https://en.wikipedia.org/wiki/Intuitionistic_type_theory 0 comments
- Tracing garbage collection - Wikipedia https://en.wikipedia.org/wiki/Tracing_garbage_collection 0 comments
Related searches:
Search whole site: site:pling.jondgoodwin.com
Search title: Weakening Cycles So That Turing Can Halt
See how to search.