FOM: grand conjectures

[Martin Davis]

At 03:18 PM 4/16/99 -0400, Harvey Friedman wrote:
>In a way, this is a response to Martin Davis 4/15/99 16:48:
>
.................................................................
>
>Martin Davis: is this a better posting?
>
>

I hadn't planned to say anything more on the matter, but being approached so
directly ...

1. I think Harvey's conjectures are very interesting, and I like his
distinctions (though I'd have been a little happier without the red-flag
word "fake."

2. I still believe that there is no dispute here about any truly
mathematical or foundational issues. All agree on the FACTS. The dispute is
over such things as when mathematicians will regard a particular, admittedly
correct, argument to be mathematically meaningful. After positions on this
question have been stated once (or maybe twice), the rest is just stoking
fires to no purpose.

Martin


                           Martin Davis
                   Visiting Scholar UC Berkeley
                     Professor Emeritus, NYU
                         martin at eipye.com
                         (Add 1 and get 0)
                       http://www.eipye.com