FOM: Various Church-Turing theses JoeShipman at Tue Jan 30
12:31:13 EST 2001  In a message dated 1/30/01 9:42:30 AM Eastern
Standard Time,  V.Sazonov at writes:  <<Finally, let me ask,
what is the difference between  CT and any other situation when
mathematicians found  a formalization of an informal concept
(like continuity  in terms of epsilon-delta or topological
space) and  assert a deep satisfaction concerning the relation
between intuition and its formalization? What is so  special
here about CT? I think - nothing, expect our  special interest
to computability rather than, say,  to continuity notion. >>
For the version of the Church-Turing thesis "CT-psych" which
asserts that any  intuitively computable function can be
computed by a Turing machine, we are  talking about psychology
and Professor Sazonov is essentially correct.  For  the version
of the Church-Turing thesis "CT-phys" which refers not to the
intuitive notion of computation but to effective procedures, we
are talking  about physics and th