- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Torgny Tholerus <torgny.domain.name.hidden>

Date: Thu, 04 Jun 2009 16:05:00 +0200

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.

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.

Date: Thu, 04 Jun 2009 16:05:00 +0200

Brian Tenneson skrev:

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.

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.

-- Torgny Tholerus --~--~---------~--~----~------------~-------~--~----~ 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 Thu Jun 04 2009 - 16:05:00 PDT

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