[FOM] First-order arithmetical truth
Eray Ozkural
examachine at gmail.com
Fri Oct 27 06:39:48 EDT 2006
In response to Sazonov, I think the following
is not just an extrapolation:
"In any computable list of positive integers
there is always a least."
since we can think of a non-terminating procedure
that finds the smallest integer. I think, if we failed
to be sure of this, then we would not understand
anything about arithmetic. I concede that the
above understanding will be physically meaningful,
as well.
Similarly for Barry Paradox.
Regards,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
ai-philosophy: http://groups.yahoo.com/group/ai-philosophy
More information about the FOM
mailing list