Re: The seven step-Mathematical preliminaries

From: Quentin Anciaux <allcolor.domain.name.hidden>
Date: Wed, 10 Jun 2009 10:01:16 +0200

Well if you have problem with word definition, use google then

http://www.google.be/search?source=ig&hl=fr&rlz=&=&q=define%3A+every&btnG=Recherche+Google&meta=lr%3D

2009/6/10 Torgny Tholerus <torgny.domain.name.hidden>:
>
> Jesse Mazer skrev:
>>
>>
>> > Date: Tue, 09 Jun 2009 18:38:23 +0200
>> > From: torgny.domain.name.hidden
>> > To: everything-list.domain.name.hidden
>> > Subject: Re: The seven step-Mathematical preliminaries
>> >
>> > For you to be able to use the word "all", you must define the "domain"
>> > of that word. If you do not define the domain, then it will be
>> > impossible for me and all other humans to understand what you are
>> > talking about.
>>
>> OK, so how do you say I should define this type of "universe"? Unless
>> you are demanding that I actually give you a list which spells out
>> every symbol-string that qualifies as a member, can't I simply provide
>> an abstract *rule* that would allow someone to determine in principle
>> if a particular symbol-string they are given qualifies? Or do you have
>> a third alternative besides spelling out every member or giving an
>> abstract rule?
>
> You have to spell out every member.  Because in a *rule* you are
> (implicitely) using this type of "universe", and you will then get a
> circular definition.  When you say that *every* number have a successor,
> you are presupposing that you already know what *every* means.
>
> --
> Torgny Tholerus
>
> >
>



-- 
All those moments will be lost in time, like tears in rain.
--~--~---------~--~----~------------~-------~--~----~
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 10 2009 - 10:01:16 PDT

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