"syzyf" <s...@p...onet.pl>
news:hpevde$c3i$1@inews.gazeta.pl...

>> [...] Odpowiedź:
>> Dlatego nie nazywam zbioru liczb porządkowych LP, w którym każda
>> liczba ma następnik, nazwą zbiór liczb naturalnych N (tak samo jak
>> "reszta świata") bowiem te dwa zbiory mają różne własności.
>
> "Reszta świata" również nadaje różne nazwy różnym zbiorom. Nie powinno więc
> już być więcej przeszkód, byś Robakksie używał nazw zgodnych z tymi używanymi
> przez "resztę świata" ?
>
>> W zbiorze liczb naturalnych N osiągana jest granica (ostatni element),
>
> "Reszta świata" taki zbiór nazywa zbiorem skończonym.
>
>> natomiast zbiór liczb porządkowych LP nie ma granicy.
>
> a zbiór, w którym każda liczba ma następnik "reszta świata" nazywa
> zbiorem liczb naturalnych.
>
> Jak widzisz te dwa różne zbiory noszą różne nazwy. Czy coś jeszcze
> stoi na przeszkodzie, byś Robakksie używał nazw zgodnych z tymi
> używanymi przez "resztę świata" ?
>
> syzyf
>
>> . . .
>> Dowodem na rekurencyjne osiąganie granicy przez funkcję połówkową
>> następnik = poprzwednik*1/2
>> jest przetoczenie się okręgu do ostatniego punktu odcinka.
>> To położenie nie ma następnika, bo punkt się nie dzieli.
>> . . .
>> Jeszcze jakieś pytania?
>> Może chcesz bym Ci to zapisałł formalmie?
>> dk = 1/2^n [dk = długość kroku]
>> Jest taka liczba n ze zbioru N dla której dk = punkt
>> Ta liczba całkowita, natiralna jest największą liczbą w zbiorze N
>> i ma nazwę oo = Alef0 = N = Re1 = 1'0
>> zobacz:
>> 1/2^Alef0 = 1/continuum
>> Odcinek ma continuum punktów a słowo "1/continuum"
>> w przetłumaczeniu na metajęzyk potoczny oznacza
>> JEDEN z CONTINUUM
>> bo punkt jest jeden w zbiorze o liczności continuum.
>> Edward Robak* z Nowej Huty
>> ~>°<~
>> miłośnik mądrości i nie tylko :)
>>
>> PS. Ten post nie jest kopiowany na niematematyczne forum
>> o zwodniczej nazwie matematyka.pl
>> Tam posty o matematyce są wyrzucane do kosza, przez bezmyślnych
>> cenzorów... i to jest zastanawiające.

Ustalmy więc profesorze "syzyf" czego ode mnie oczekujesaz. OK?
Ja na podstawie empirii i dedukcji stwierdzam, że podział połówkowy
kończy się, gdy nie ma już co dzielić na połowę, a więc okrąg toczący
się po odcinku osiąga ostatni punkt. Liczba kroków podziału
połówkowego jest liczbą skończoną, bo skoro nic już się nie dzieli
to dzielenie zostało zakończone. Ilość wszystkich kroków jest zbiorem
kolejnych kroków o numerach od 1 do Alef0. Taki zbiór, w którym
największą liczbą jest liczba arytmetyczna Alef0 nazywam zbiorem
liczb naturalnych N.
Jeśli do największej liczby w zbiorze liczb naturalnych Alef0 dodam +1,
to uzyskam liczbę większą, której nie ma w zbiorze liczb naturalnych,
co zapisuję:
Alef0 + 1 = 1'1 > Alef0
Liczby całkowitej dodatniej 1'1 nie ma w zbiorze liczb naturalnych N
bowiem jest liczbą SILNĄ, większą od największej liczby naturalnej.
. . .
Ty oczekujesz ode mnie, abym zbiór liczb naturalnych posiadający
ostatni element nazywał zbiorem nie posiadającym ostatniego
elementu, bo wyobraziłeś sobie, że wszyscy matematycy - zbiorowi
posiadającemu ostatni element- nadali nazwę zbiór nie posiadający
ostatniego elementu.
Czy w związku z Twoim oczekiwaniem mam także zbiór nie posiadający
ostatniego elementu nazywać zbiorem posiadającym ostatni element?
Wyjaśnij mi:
Dlaczego nazwa ma być samozaprzeczeniem? :-)
Edward Robak* z Nowej Huty
~>°<~
miłośnik mądrości i nie tylko :)
PS. Możesz choć raz w życiu odpisać pod tekstem? :)