Castor affairé (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Castor affairé" in French language version.

refsWebsite

Global rank French rank

low place

low place

2scottaaronson.com

low place

low place

1alcatel-lucent.com

low place

8,953^rd place

742^nd place

2,073^rd place

383^rd place

397^th place

6,910^th place

514^th place

1bbchallenge.org

low place

low place

low place

low place

2^nd place

3^rd place

alcatel-lucent.com

(en) Tibor Radó, « On Non-Computable Functions », Bell Systems Technology Journal, vol. 41, n^o 3,‎ mai 1962, p. 877-884 (lire en ligne)

bbchallenge.org

discuss.bbchallenge.org

(en) « [july 2nd 2024] we have proved "bb(5) = 47,176,870" », sur The Busy Beaver Challenge, 2 juillet 2024 (consulté le 8 juillet 2024).

doi.org

dx.doi.org

(en) Milton W. Green, « A Lower Bound on Rado's Sigma Function for Binary Turing Machines », 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design,‎ 1964, p. 91-94 (DOI 10.1109/SWCT.1964.3)

github.com

metamath proof enumerators and other things

jussieu.fr

logique.jussieu.fr

(en) Pascal Michel, « Historical survey of Busy Beavers », juin 2012

oeis.org

suite A028444 de l'OEIS

scottaaronson.com

The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me
(en) Scott Aaronson, « The Busy Beaver Frontier », article,‎ 2020, p. 15 (lire en ligne [PDF])

sligocki.com

(en) Sligocki, « BB(6, 2) > 10↑↑15 », 2022

turbotm.de

(en) Heiner Marxen, « 2-state 3-symbol currently best (by Brady / Michel) », 6 juillet 2010
(en) Heiner Marxen, « 3-state 3-symbol #b (T.J. & S. Ligocki) », 6 juillet 2010
(en) Heiner Marxen, « 2-state Busy Beaver (by T.Rado) », 6 juillet 2010
(en) Heiner Marxen, « 3-state Busy Beaver (most ones) (by T.Rado) », 6 juillet 2010
(en) Heiner Marxen, « 3-state Busy Beaver (most steps) (by T.Rado) », 6 juillet 2010
(en) Heiner Marxen, « 4-state Busy Beaver (by A.Brady) », 6 juillet 2010
(en) Heiner Marxen, « 5-state TM #1 from MaBu-List », 6 juillet 2010
(en) Heiner Marxen, « 6-state 2-symbol #b (Pavel Kropitz) », 2010
(en) Marxen Heiner, « Busy Beaver », 7 novembre 2011