FOM: Foundationalism and Secrecy

Martin Davis martind at cs.berkeley.edu
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
Hypothesis).

Martin




More information about the FOM mailing list