[FOM] methodological thesis

addamo@wp.pl addamo at wp.pl
Fri May 2 15:09:17 EDT 2008

The Thesis of H. Friedman reminds me of Church's Thesis (CT):

CT (in one of its formulations) says:

For any intuitively effectively calculable function f, for which we have an
informal description, there is a formal description of f in terms of
recursive functions.

The controversy regarding the truth of the CT boils
down to the (epistemological?) problem how can one be
sure that an intuitive concept is equivalent to a
specific mathematical (formal) concept.

The same holds for Friedmann's proposal.  The
Friedmann's weaker thesis could be thought of as a
kind of completnesss theorem in the following form:

If we have any intuitive reasoning R, we can formalize R.

Here R would be an abstract object: it means non-mental, non

For me, the problem with Friedman's thesis is the following:
how could he argue that, his Q and P concern the SAME problem?
No virus found in this outgoing message.
Checked by AVG.
Version: 7.5.524 / Virus Database: 269.23.7/1410 - Release Date: 2008-05-01

More information about the FOM mailing list