[FOM] Alternative Foundations?/question

Harvey Friedman hmflogic at gmail.com
Mon Feb 24 10:56:29 EST 2014

Standard foundations of mathematics grew out of pondering the classical
goals for foundations. These classical goals have general intellectual
interest and apply, to varying extents, to a wide variety of subjects in
science and engineering, and elsewhere.

Standard foundations of mathematics has been very successful with some of
these classical goals, moderately successful with others, and not
successful with still others. There are good reasons for further major
successes and developments.

How does alternative foundations fare in these terms, both now and for the

Are the classical goals still of great importance, or are the classical
goals no longer important?

Harvey Friedman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140224/5ed128b4/attachment.html>

More information about the FOM mailing list