Biggest News Aggregation in the World
📰 Peano Arithmetic News

Peano Arithmetic News Today

Fast, Ad-Free News Updates

Stay updated with breaking news from Peano Arithmetic. Real-time updates on events, politics, business and more.

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),…
United States France General Twan Van Laarhoven David Cox Scott Aronson Harvey Friedman

The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics—Stephen Wolfram Writings

Results from samplings of the unique ruliad structure that corresponds to the entangled limit of all possible computations. General physicalized laws of mathematics are discussed, associated with concepts such as metamathematical motion, inevitable dualities, proof topology and metamathematical singularities.
Han I Republic Of Tim Gowers Richard Assar Maryanthe Malliaris Elise Cawley

Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)

First published Tue Sep 25, 2007; substantive revision Tue Sep 26, 2017 If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and tim...
George Boolos Linsky Zalta David Hilbert Solomon Feferman Horsten Welch Hermann Weyl

Explore More Categories

World News India News Business Technology Sports Entertainment Health Science