Re: The seven step-Mathematical preliminaries

From: Juho Pennanen <juho.pennanen.domain.name.hidden>
Date: Wed, 03 Jun 2009 16:07:09 +0300

Quentin Anciaux kirjoitti:
> 2009/6/3 Torgny Tholerus <torgny.domain.name.hidden>:
...
>> How do you know that there is no biggest number?
>
> You just did.
> You shown that by assuming there is one it entails a contradiction.
>
>> Have you examined all
>> the natural numbers?
>
> No, that's what demonstration is all about.
>

Clearly you two disagree on what {0, 1, 2, 3, ...} means.

All definitions of natural numbers I have seen imply that N+1 is a
natural number whenever N is. Then there clearly is no biggest number.

But I can see someone could have philosophical objections to the
conventional definition. I've heard of ultrafinitists, e.g., but have
not checked how they define natural numbers (if they do).

jp


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Wed Jun 03 2009 - 16:07:09 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:16 PST