- What is the significance of the Entscheidungsproblem ("decision problem")? http://en.wikipedia.org/wiki/Entscheidungsproblem 6 comments askscience
Linking pages
- Alonzo Church: The Forgotten Architect of Computer Intelligence https://onepercentrule.substack.com/p/alonzo-church-the-forgotten-architect 120 comments
- What Computers Cannot Do: The Consequences of Turing-Completeness | Yzena, LLC https://yzena.com/2024/03/what-computers-cannot-do-the-consequences-of-turing-completeness/ 119 comments
- Turing’s topological proof that every written alphabet is finite – David Richeson: Division by Zero https://divisbyzero.com/2010/05/27/turings-topological-proof-that-every-written-alphabet-is-finite/ 114 comments
- Computer scientist wins Turing Award for seminal work on randomness | Ars Technica https://arstechnica.com/science/2024/04/computer-scientist-wins-turing-award-for-seminal-work-on-randomness/ 57 comments
- Alan Turing in America - by Jørgen Veisdal - Privatdozent https://www.privatdozent.co/p/alan-turing-in-america-221 47 comments
- A circuit-like notation for lambda calculus – csvoss.com https://csvoss.com/circuit-notation-lambda-calculus 42 comments
- Uncomputable Numbers. Real numbers we can never know the… | by Jørgen Veisdal | Cantor’s Paradise https://medium.com/cantors-paradise/uncomputable-numbers-ee528830d295 37 comments
- Uncomputable Numbers. Real numbers we can never know the… | by Jørgen Veisdal | Cantor’s Paradise https://www.cantorsparadise.com/uncomputable-numbers-ee528830d295 23 comments
- Turing Uncomputability - by Jørgen Veisdal - Privatdozent https://www.privatdozent.co/p/turing-uncomputability 22 comments
- Alan Turing in America. “Beyond the way they speak, there is… | by Jørgen Veisdal | Cantor’s Paradise https://medium.com/cantors-paradise/alan-turing-in-america-db0104c965dc 18 comments
- Infrequent, Pragmatic, Lambda Blog - Type Enthusiast's Notes about TypeScript. Part 6. Reasoning using Types https://rpeszek.github.io/posts/2022-03-13-ts-types-part6.html 12 comments
- The hardest computational problems | Marien's blog https://marienraat.nl/blog/posts/hardest-computational-problems/ 11 comments
- Alan Turing in America - by Jørgen Veisdal - Privatdozent https://cantorsparadise.substack.com/p/alan-turing-in-america-221 6 comments
- Building a Turing Machine Simulator With Ruby (Part 1) - reinh.com http://reinh.com/blog/2011/09/03/building-a-turing-machine-simulator-with-ruby-part-1.html 1 comment
- The Great Pretender: Turing as a Philosopher of Imitation - The Atlantic http://www.theatlantic.com/technology/archive/2012/07/the-great-pretender-turing-as-a-philosopher-of-imitation/259824/ 1 comment
- An Utterly Incomplete Look at Research from 1873 – Brett Mullins – Researcher - Data Scientist https://bcmullins.github.io/research-from-1873/ 1 comment
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- @adlrocha - From Turing to Shannon https://adlrocha.substack.com/p/adlrocha-from-turing-to-shannon 0 comments
- Alan Turing Timeline | Alan Richmond http://tuxar.uk/turing/timeline/ 0 comments
- Maths for Hackers - The Hacker Theorem | Mark C. - Hacking the hard way… https://unprovable.github.io/jekyll/update/2016/11/13/Maths-For-Hackers-The-Hacker-Theorem.html 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Entscheidungsproblem - Wikipedia
See how to search.