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

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

Martin




More information about the FOM mailing list