Torgny Tholerus wrote:
> Brian Tenneson skrev:
>
>> This is a denial of the axiom of infinity. I think a foundational set
>> theorist might agree that it is impossible to -construct- an infinite
>> set from scratch which is why they use the axiom of infinity.
>> People are free to deny axioms, of course, though the result will not
>> be like ZFC set theory. The denial of axiom of foundation is one I've
>> come across; I've never met anyone who denies the axiom of infinity.
>>
>> For me it is strange that the following statement is false: every
>> natural number has a natural number successor. To me it seems quite
>> arbitrary for the ultrafinitist's statement: every natural number has
>> a natural number successor UNTIL we reach some natural number which
>> does not have a natural number successor. I'm left wondering what the
>> largest ultrafinist's number is.
>>
>
> It is impossible to lock a box, and quickly throw the key inside the box
> before you lock it.
> It is impossible to create a set and put the set itself inside the set,
> i.e. no set can contain itself.
> It is impossible to create a set where the successor of every element is
> inside the set, there must always be an element where the successor of
> that element is outside the set.
>

##
Advertising

Depends on how you define "successor".
Brent
> What the largest number is depends on how you define "natural number".
> One possible definition is that N contains all explicit numbers
> expressed by a human being, or will be expressed by a human being in the
> future. Amongst all those explicit numbers there will be one that is
> the largest. But this "largest number" is not an explicit number.
>
>
--~--~---------~--~----~------------~-------~--~----~
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@googlegroups.com
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---