List of Busy Beaver Papers: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
Use full Radó name and shorten Download column width so more things fit.
m Normalize date order
Line 21: Line 21:
|A Lower Bound on Rado's Sigma-Function for Binary Turing Machines
|A Lower Bound on Rado's Sigma-Function for Binary Turing Machines
|Milton W. Green
|Milton W. Green
|1964 November 11-13
|11-13 November 1964
|{{doi|10.1109/SWCT.1964.3}}
|{{doi|10.1109/SWCT.1964.3}}
|
|

Revision as of 15:29, 4 December 2025

Title Author Published DOI Download
On Non-Computable Functions Tibor Radó May 1962 doi:10.1002/j.1538-7305.1962.tb00480.x
On a simple source for non-computable functions Tibor Radó 1963 PDF
A Lower Bound on Rado's Sigma-Function for Binary Turing Machines Milton W. Green 11-13 November 1964 doi:10.1109/SWCT.1964.3
Solutions of restricted cases of the halting problem applied to the determination of particular values of a non-computable function Allen H. Brady 10 December 1964 Thesis Archive
The Conjectured Highest Scoring Machines for Rado's Σ(k) for the Value k = 4 Allen H. Brady 31 October 1966 doi:10.1109/PGEC.1966.264572
The solution to Rado's busy beaver game is now decided for k = 4. Preliminary report. (Abstract) Allen H. Brady January 1975 PDF (A-25, PDF Page 109)