- How can we be so sure that BusyBeaver(4) = 107, when BusyBeaver() is said to be uncomputable? http://en.wikipedia.org/wiki/Busy_beaver 62 comments math
Linking pages
- 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
- Complexity and Intelligence - by Eliezer Yudkowsky http://www.overcomingbias.com/2008/11/complexity-and.html 12 comments
- The hardest computational problems | Marien's blog https://marienraat.nl/blog/posts/hardest-computational-problems/ 11 comments
- GitHub - eterevsky/beaver: A solver for halting problem of Brainfuck programs https://github.com/eterevsky/beaver 6 comments
- Why Writing Correct Software Is Hard https://pron.github.io/posts/correctness-and-complexity 3 comments
- Busy Beaver is the BIOS of our universe – Church of Thought https://churchofthought.org/blog/2020/06/25/busy-beaver-is-the-bios-of-our-universe/ 0 comments
- Two-Envelopes Problem for Uncertainty about Brain-Size Valuation and Other Moral Questions https://reducing-suffering.org/two-envelopes-problem-for-brain-size-and-moral-uncertainty/ 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Busy beaver - Wikipedia
See how to search.