The web pages of Pascal MICHEL

Including : Busy Beaver competition, Publications in Logic and Theoretical Computer Science.

Last update: March 2022

Pascal MICHEL

Publications

Busy Beavers:

(May 2012): An analysis of the machine found in June 2010 by Pavel Kropitz with s(M) > 7.4 × 10^36534 and sigma(M) > 3.5 × 10^18267.

(January 2011): Two new parts in the advanced topics:
1 - Methods to find busy beavers
2 - Busy beavers and unprovability.

 

Pascal Michel
Equipe de Logique mathématique
IMJ-PRG
Bâtiment Sophie Germain, case 7012
75205 PARIS CEDEX 13
FRANCE

Click here to send email

Link to home page of the Équipe de Logique Mathématique