Shtetl-Optimized » Blog Archive » The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me

I've supervised a lot of great student projects in my nine years at MIT, but my inner nerdy teenager has never been as personally delighted by a project as it is right now.  Today, I'm proud to announce that Adam Yedidia, a PhD student at MIT (but an MEng student when he did most of this work),…

Related Keywords

Texas ,United States ,Paris ,France General ,France ,Panama ,Twan Van Laarhoven ,David Cox ,Scott Aronson ,Harvey Friedman ,Tibor Rad ,Scott Aaronson ,Gabriel Nivasch ,Robert Sawyer ,Michael Emmer ,John Baez ,Timothy Chow ,Luke Schaeffer ,David Madore ,Heiner Marxen ,Skelet Georgi Georgiev ,Scott Aaronsonif ,Jason Gross ,Pat Shaughnessey ,Jacob Aron ,Ernie Davis ,Stephen Orear ,Ben Zinberg ,Kennethg Wilson ,David Wu ,A Ken Wilson ,Googology Wiki ,Tobias Fritz ,Eliezer Yudkowsky ,Howarda Landman ,Daniel Briggs ,Bram Cohen ,Aguilar Binosi Papavassiliou ,Joachim Hertel ,Adam Yedidiya ,Patrick Dehornoy ,John Little ,Wilczek Langland ,Vadim Kosoy ,James Harland ,Daniel Brigg ,Allanc Wechsler ,Terry Tao ,Adam Yedidia ,Francis Erdman ,John Milnor ,Jim Lambek ,Massimo Morelli ,Googology Wikia ,Norman Megill ,Agustin Rayo ,David Epstein ,Royce Peng ,Davidr Maciver ,Stefan Orear ,Alan Turing ,Paul Chapman ,Greg Kuperberg ,Richard Laver ,Martin Rinard ,Joe Shipman ,Randall Dougherty ,Donald Hoffman ,David Eppstein ,Google ,Clay Mathematics Institute ,Why Writing Correct Software Is Hard Part ,Oracle ,Ibm ,Twitter ,Busy Beaver ,D Anna Says ,Kuperberg Says ,Bilar Says ,Laconic Turing ,Yuan Says ,Zelinsky Says ,Post Correspondence Problem ,Zinberg Says ,Eppstein Says ,Turing Machines ,Hawksley Says ,Davis Says ,Random Says ,Nivasch Says ,Turing Machine ,Kosoy Says ,O Rear Says ,Sidles Says ,Vincenzo Della Mea ,Imagine Math ,Between Culture ,Universal Turing Machine ,Marco Abate ,Shtetl Optimized ,Maybei Ve ,Peng Says ,Kirby Paris Hydra ,Buchholz Hydra ,Chapman Says ,Minsky Register ,Ohio Says ,Lamy Says ,Logic Matters Says ,Cohen Says ,Riemann Hypothesis ,Yedidia Says ,Peano Arithmetic ,Schwarz Says ,Stefano Rear ,Tromp Says ,Binary Lambda Calculus ,Freak Says ,Gross Says ,Cleaver Says ,Janourova Says ,Van Name Says ,Maybe Laci ,Continuum Hypothesis ,Scan Name ,John Tromp ,Primitive Recursive Arithmetic ,Scott Says ,Schreiber Says ,Chow Says ,Muhia Says ,Functional Programming ,Shipman Says ,Goldbach Turing ,Porter Says ,Pagh Says ,Baez Says ,Ward Cleaver ,John Baez Says ,Theni Ll ,Algorithmic Information Theory ,Pisanty Says ,White Says ,Lambda Calculus ,Absolute Dummies ,Last Theorem ,Millennium Prize ,Barreira Says ,Graber Says ,Howley Says ,Elementary Function Arithmetic ,Grand Conjecture ,Basis Theorem ,Donalo Shea ,Using Algebraic Geometry ,Ken Wilson ,Millennium Prize Problem ,Driver Says ,Marker Lecture ,Marker Lectures ,Code Golf Stackexchange ,Frank Wilczek ,Quanta Essay ,Robert Langland ,Blog Archive ,Georgi Georgiev ,Busy Beavers ,Stories Says ,Aron Says ,What Alan ,For His ,Specially Fran ,Jax Hub Typeset ,Mathjax Hub Typeset ,Universal Turing ,Concrete Mathematics ,Ivan Name ,Boolean Relation Theory ,Concrete Mathematical Incompleteness ,Clay Millennium Prize ,Millennium Problems ,Clay Problem ,Complexity Zoo ,Navier Stokes ,Busy Beaver Game ,Azimuth Says ,Exponential Function Arithmetic ,Marxen Says ,Drawing Blanks Says ,All About Donald Trump Says ,Treasurereading Says ,Writing Correct Software Is Hard ,Ochem Says ,Tim Converse Says ,John Conway ,Second Incompleteness ,Incompleteness Theorem ,Erdman Says ,Goldbach Conjecture ,Quantum Computing Since Democritus ,Brewbaker Says ,Laarhoven Says ,Houghton Larsen Says ,Reflection Principle ,News In The World Says ,Announcements Says ,Busy Beaver Frontier Says ,Hacker News ,