[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.


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