The web pages of Pascal MICHEL

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

Last update: June 2022

Pascal MICHEL

Publications

Busy Beavers:

See also the Google group on Busy Beavers

NEW: In May 2022, new champions for (6,2)-TM have been found by Shawn Ligocki and Pavel Kropitz

 

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