FOM: Foundationalism and Secrecy

Martin Davis martind at
Mon Sep 14 20:30:44 EDT 1998

At 07:09 PM 9/14/98 -0400, Joe Shipman wrote:

>A crisis of consensus will come again someday, and then it will be clear
>to everybody why foundations are indispensable.

Yes indeed! It will come when a large cardinal axiom is used to settle a
problem all mathemativcians know and care deeply about (e.g. the Riemann


More information about the FOM mailing list