[FOM] Alternative Foundations?/question

[Harvey Friedman]

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
future?

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>