[FOM] Alternative foundations?

henk henk at cs.ru.nl
Tue Feb 25 04:28:40 EST 2014

In this thread one question has not been asked and has some urgency.

What is the intended aim of a foundation of mathematics?

Only then (from the answers) we can formulate the degree of their

For example, Girard sees the role of set theory as a way of showing
that the different niches of mathematics together are consistent.

The proof-checking community sees a foundation as a system
in which the different niches of mathematics can be actually
formalized in order to provide a machine verification of results.

There are surely more of such intended aims.

Henk Barendregt

More information about the FOM mailing list