Live Breaking News & Updates on Primitive Recursive Arithmetic

Stay updated with breaking news from Primitive recursive arithmetic. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.

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 , 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 ,

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 time, it is not at all obvious that this also the
case of the objects that are studied in mathematics. In addition to
that, the methods of investigation of mathematics differ markedly from ....

George Boolos , Linsky Zalta , David Hilbert , Solomon Feferman , Horsten Welch , Hermann Weyl , Troelstra Van Dalen , Brouwer Van , Hale Wright , Paul Cohen , Charles Parsons , Welch Horsten , Halbach Horsten , Crispin Wright , Arthur Fine , Goodman Quine , Burgess Rosen , Harvey Friedman , Church Thesis , Peano Arithmetic , Heyting Arithmetic , Primitive Recursive Arithmetic , Like Poincar , Numbers Could Not , Without Abstract , Real Analysis ,