FOM: Why does Harvey believe it is unlikely that ... ?

Martin Davis martind at
Thu Nov 13 19:05:27 EST 1997

At 01:00 PM 11/12/97 +0100, Harvey Friedman wrote:

>1. I do not believe it likely that there are particular outstanding
>concrete open problems of contemporary mathematics that require the use of
>large cardinal axioms.

I would very much appreciate knowing the reasons for this belief.


More information about the FOM mailing list