- How do we know The Halting Problem isn't only impossible to implement for itself? https://en.wikipedia.org/wiki/Halting_problem 78 comments compsci
- Does the Halting Problem rely on an implied finite computing power? https://en.wikipedia.org/wiki/halting_problem#oracle_machines 8 comments math
- Just how unsolvable is the Halting Problem? Where are the limits? https://en.wikipedia.org/wiki/Halting_problem 12 comments askscience
- What would change about computing if we could definitively tell whether or not a program terminates? http://en.wikipedia.org/wiki/Halting_problem 20 comments askscience
- Is smaller version of the Halting problem solvable? http://en.wikipedia.org/wiki/Halting_problem 11 comments compsci
Linking pages
- Calculations Suggest It'll Be Impossible to Control a Super-Intelligent AI : ScienceAlert https://www.sciencealert.com/calculations-suggest-it-ll-be-impossible-to-control-a-super-intelligent-ai 496 comments
- Calculations Show It'll Be Impossible to Control a Super-Intelligent AI : ScienceAlert https://www.sciencealert.com/calculations-show-it-d-be-impossible-to-control-a-rogue-super-smart-ai 435 comments
- Your configs suck? Try a real programming language. | beepb00p https://beepb00p.xyz/configs-suck.html 425 comments
- Bitcoin Cash Scripting Applications: Representative Tokens (OP_GROUP) | by Andrew Stone | Medium https://medium.com/@g.andrew.stone/bitcoin-scripting-applications-representative-tokens-ece42de81285 371 comments
- Rust's Type System is Turing-Complete – Recursive Descent into Madness – A countable set of sanities and insanities, by Shea Leffler. https://sdleffler.github.io/RustTypeSystemTuringComplete/ 294 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- Why deadlines are pointless and what to do instead https://lucasfcosta.com/2022/09/15/deadlines.html 197 comments
- GPT-3 can run code - by maytee.eth - mayt writes https://mayt.substack.com/p/gpt-3-can-run-code 154 comments
- Learn You an Agda - William DeMeo http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/ 151 comments
- In Praise of Function Pre and Postconditions | Programming Zen http://programmingzen.com/2016/07/03/in-praise-of-function-pre-and-postconditions/ 138 comments
- DNA seen through the eyes of a coder (or, If you are a hammer, everything looks like a nail) - Bert Hubert's writings https://berthub.eu/articles/posts/amazing-dna/ 122 comments
- The Selfish Meme Simulation Theory of Everything | Medium https://muellerberndt.medium.com/memetic-natural-selection-how-memes-create-all-of-reality-8be4722b6a2 118 comments
- Seemingly Impossible Swift Programs https://www.fewbutripe.com/2018/12/05/seemingly-impossible.html 108 comments
- Weakening Cycles So That Turing Can Halt http://pling.jondgoodwin.com/post/weakening-cycles/ 68 comments
- 40 Key Computer Science Concepts Explained In Layman’s Terms http://carlcheo.com/compsci 57 comments
- Gödel, Turing and Cantor: The Math – The Vault of the Future http://skibinsky.com/godel-turing-and-cantor-the-math/ 42 comments
- Gödel Incompleteness For Startups – The Vault of the Future https://skibinsky.com/godel-incompleteness-for-startups/ 38 comments
- GitHub - kriskowal/gtor: A General Theory of Reactivity https://github.com/kriskowal/gtor/blob/master/README.md 38 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
- What We Talk About When We Talk About Distributed Systems http://videlalvaro.github.io/2015/12/learning-about-distributed-systems.html 34 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Halting problem - Wikipedia
See how to search.