FOM: determinate truth values, coherent pragmatism

Harvey Friedman friedman at
Tue Sep 5 15:44:28 EDT 2000

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.

More information about the FOM mailing list