On 3/23/2015 5:02 PM, LizR wrote:
On 24 March 2015 at 08:02, meekerdb <[email protected] <mailto:[email protected]>>
wrote:
That every number has a unique successor for one.
"Let's call the first number that doesn't have a unique successor n..."
That's one possible form of ultrafinitism, but not the only one. Let's see you derive a
contradiction from that (without implicitly assuming infinities). Most forms of finitism
don't assume a biggest number.
http://www.jeanpaulvanbendegem.be/strict%20finitism.pdf
http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
