FOM: determinate truth values, coherent pragmatism

[Harvey Friedman]

Reply to Sazonov 6:13PM 9/5/00:

>Dear Prof. Friedman,
>
>Is there any essential difference of the above point of view with
>the formalist's one?

I have given no point of view directly, but simply gave an analysis of how
the general mathematical community thinks and acts with regard to axioms
-or at least will think and will act with regard to axioms.

It appears to me to be very fruitful and interesting to analyze this and to
obtain results that are directly motivated by such an analysis. One then
has the expectation of having a substantial impact on the general
mathematical community.