"Redart" <r...@o...pl>
news:h9ib2d$nv5$1@news.onet.pl...
> "Robakks" <R...@g...pl>
> news:h9i985$b8$1@inews.gazeta.pl...
>> "Redart" <r...@o...pl>
>> news:h9i0it$mkp$1@news.onet.pl...

>>> W każdym bądź razie widzę tu szansę na uzyskanie paradoksu,
>>> że jakiś wyraziście zdefiniowany podzbiór N nie ma ostatniego
>>> elementu ...

No przecież skoro zbiór przeliczalny ma ostatni element to automatycznie
każdy jego podzbiór także mu mieć. :)
Innej możliwości nie ma. W matematyce nie ma paradoksów. :-)

>> No cóż...
>> Dopóki nie zrozumiesz, że hotel Hilberta, w którym jest nieskończona
>> równa oo liczba pokoi i wszystkie pokoje są zajęte, a więc nie ma
>> na tablicy z kluczami żadnego klucza do pustego pokoju...
>> więc dopóki powyższego nie zrozumiesz to stale będziesz mylił
>> przeliczalny zbiór liczb naturalnych N z nieprzeliczalnym i nieskończenie
>> większym zbiorem liczb porządkowych - a więc całkowitych, w którym
>> oprócz liczby N=oo=aleph0 są liczby SILNE znacznie większe od alef0.
>> Cóz z tego, że podam Ci algrbraiczny wzór, jeśli założysz sobie,
>> że zbiór liczb naturalnych nie ma końca, a więc jest nieograniczony?
>> Przecież dla Ciebie wzór tożsamościowy L=P (lewa równa się prawa)
>> nie jest żadnym dowodem. Prawda? :-)
>> Edward Robak* z Nowej Huty
>> ~>°<~
>> miłośnik mądrości

> Hmmm ...
> Wzór może i być ... Nie do końca rozumiem, co tu wyżej napisałeś poza tym
> że liczby porządkowe a liczby naturalne to dwie różne rzeczy.

Popatrz na to tak:
liczb naturalnych wystarczy wyłącznie do ponumerowania kolejno
pól jednego wiersza w Tabeli N^2. Gdy chcemy przeliczyć kolejne pola
z kolejnego wiersza - to musimy użyć liczb większych od oo
bo wszystkie mniejsze od oo już zostały użyte.

> Ja tu nic nie zakładam, tylko pytam o to, czy da się jakoś
> policzyć/wskazać/opisać funkcją zależną od oo(alef0) lub jakkolwiek
> inaczej najmniejszy nie-dzielnik oo (=ldx+1)
> i pokazać, że rzeczywiscie nie jest on dzielnikiem, a że liczba o jeden
> mniejsza - jest dzielnikiem ;) i nie istnieje mniejsza.

Proponuję byś to zrobił najpierw na jakiejś liczbie małej np 2^8.
Gdy opanujesz technikę wynajdywania tego zbioru, który Cię
interesuje - to można zwiększać tę liczbę bazową i patrzeć
czy opracowana technika nadaje się do algebraizacji, a więc
zastąpienia liczb symbolami - bo wówczas możesz podstawić N
i badać proporcje. :-)
Edward Robak* z Nowej Huty
~>°<~
miłośnik mądrości