[FOM] First-order arithmetical truth
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,
Similarly for Barry Paradox.
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
More information about the FOM