DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Busy beaver
Busy beaver
The Busy Beaver Frontier
The Busy Beaver Competition: a Historical Survey Pascal Michel
Handout 2: October 25 Three Proofs of Undecidability Of
Problems in Number Theory from Busy Beaver Competition
On the Hardness of Knowing Busy Beaver Values BB (15) and BB (5, 4)
Computability Theory and Big Numbers
Who Can Name the Bigger Number? by Scott Aaronson [Author's Blog] Source
The Busy Beaver Frontier by Aaronson
What Is the Church-Turing Thesis?
Analysis of Busy Beaver Machines Via Induction Proofs
Busy Beaver Machines and the Observant Otter Heuristic (Or How to Tame Dreadful Dragons)
Complexity Theory
Gödel Incompleteness Revisited Grégory Lafitte
The Busy Beaver Frontier
Programming and Simulating Chemical Reaction Networks on a Surface Royalsocietypublishing.Org/Journal/Rsif Samuel Clamons1, Lulu Qian1,2 and Erik Winfree1,2,3
The Busy Beaver Frontier
On the Running Time of the Shortest Programs
Busy Beavers Gone Wild
Top View
The Busy Beaver Problem
A New Gödelian Argument for Hypercomputing Minds Based On
A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
Uncomputability and the Haling Problem 1 the Universal Turing
Who Can Name the Bigger Number?
An Scrutiny of Run-Time Ramification for 5-Proviso Busy Beaver Proving Empirical Composition
The Busy Beaver (BB)
Computing the Busy Beaver Function
Busy Beavers and Kolmogorov Complexity
A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
Computing the Uncomputable Rado Sigma Function
Looking for Busy Beavers. a Socio-Philosophical Study of a Computer-Assisted Proof
Church-Turing Thesis
Small Turing Machines and Generalized Busy Beaver Competition
2 Turing Machines – Busy Beavers, Coding, and the Halting Problem