[FOM] Re: Comment on Church's Thesis (Harvey Friedman)
Alexander M Lemberg
sandylemberg at juno.com
Mon Jan 12 03:25:35 EST 2004
Is Church's Thesis not exactly such a specification? Is not the reason
people are saying that it is not a mathematical assertion that it is
rather a rendering of the intuitive notion of effectiveness into a
precise well defined mathematical concept?
At least, that has been my understanding of Church's Thesis since I
first was introduced to it and the only understanding of it I have ever
On Sun, 11 Jan 2004 00:06:09 -0500 (EST) "Timothy Y. Chow"
<tchow at alum.mit.edu> writes:
"...not quite strictly mathematical until one specifies somewhat more
precisely what an "effective procedure" is..."
More information about the FOM