[FOM] methodological thesis
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
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