"Chiron" <e...@o...eu>
news:hk2hl9$rli$1@news.onet.pl...
> "Robakks" <R...@g...pl>
> news:hk2cc7$eu8$1@inews.gazeta.pl...
>> "de Renal" <f...@g...com>
>> news:b482ccf6-16ec-4fe7-aa70-d191cfbf3194@b2g2000yqi
.googlegroups.com...
>>> Robakks napisał(a):
>>>> "de Renal" <f...@g...com>
>>>> news:5bef1889-74ad-48d4-9b75-984ee63b0a63@c29g2000yq
d.googlegroups.com...
>>>> > Chiron napisał(a):
>>
>>>> >> uderzy�- czy nie. Piorunuj�ca decyzja:-)
>>>> >> --
>>>> >> Serdecznie pozdrawiam
>>>> >>
>>>> >> Chiron
>>
>>>> > Poczytaj sobie Chironek, tu jest dużo wyjaśnione, a tobie wklejam, bo
>>>> > intuicyjnie stoisz po właściwej stronie, gdyż jak przeglądam ten wątek
>>>> > to mi się rzygać chce od tych idiotów.=======
>>
>>>> Masochista. Po co się tak katujesz zmuszając siebie do czytania?
>>>> Lubisz, gdy Ci się chce rzygać? :)
>>
>>>> > Każdy algorytm komputerowy niezależnie od stopnia skomplikowania
>>>> > musi być niepełny, uboższy o te prawdy których nie potrafi dowieść.
>>>> > W szczególności Gödel pokazał, że żaden komputer wyposażony
>>>> > w dowolnie zaawansowany algorytm nie jest w stanie dowieść
>>>> > nieznanych prawd matematycznych.
>>
>>>> Bełkot.
>>>> Komputer tworzy tablicę programów będących przekodowaniem
>>>> liczby na rozkazy i symuluje działanie programu. W ten sposób
>>>> bada wszystkie liczby po kolei odkrywając nie znane jeszcze
>>>> prawdy matematyczne i dowody. Gödel nie był informatykiem,
>>>> więc się nie znał.
>>
>>>> > Roger Penrose mówi o unikalnej dla człowieka cesze
>>>> > zwanej wglądem, co zapewne odpowiada pojęciu myślenia
>>>> > niealgorytmicznego / heurystycznego. Wgląd to właśnie jedna z cech
>>>> > umożliwiających człowiekowi wychodzenia poza posiadane
>>>> > informacje.
>>>> >
>>>> > http://www.open-mind.pl/Ideas/AI.php
>>
>>>> Jeśli ktoś wychodzi poza posiadane informacje to to nie ma nazwy
>>>> WGLĄD, ale pieniactwo bez uzasadnienia prawdziwości.
>>>> Coś się Rogerowi pokiełbasiło. :-)
>>>> Edward Robak* z Nowej Huty
>>>> ~>°<~
>>>> miłośnik mądrości i nie tylko :)
>>
>>> Bełkot to ty tworzysz pokrako, a wykazał G. niezbicie i zamknął modry
>>> takim debilą jak ty, że komputer nie jest twórczy, bo działa w ramach
>>> programu, a człowiek wychodzi ze świata przyczynowo - skutkowego w
>>> świat stwarzający, czyli coś nowego kreuje niż do tej pory było,
>>> debilu. Ale rzeczywiście ty twórczy nie jesteś, więc bardziej jesteś
>>> zaprogramowanym manekinem niż człowiekiem.

>> ROTFL.
>> Twój guru Gödel opierał swoje wymysły na stadnej teorii alefitów,
>> że zbiór liczb naturalnych nie ma końca - stąd wychodziły mu
>> samozaprzeczenia i nieoznaczoności. Musisz być taki stadny
>> Kolego glob zamiast wyjść poza stado bezmyślnie powtarzające
>> mantry swoich guru i zobaczyć jak ładnie szereg rekurencyjny
>> osiąga granicę zbioru liczb naturalnych i ją przekracza?
>> Robakks
>> *°"˝'´¨˘`˙?^:;~>¤<×÷-.,˛¸


> Czy jego wielkie twierdzenie uczące, że w takim systemie logicznym opartym na
liczbach
> naturalnych - będą istnieć twierdzenia, których
> w ramach tego systemu nie da się udowodnić ani im zaprzeczyć
> - więc wprowadzenie słuszności (czy niesłuszności) takiej tezy nie wprowadza w tym
układzie
> sprzeczności- jest głupie? A może niesłuszne?

Ani to twierdzenie nie jest wielkie
Ani nie jest oparte na liczbach naturalnych
- jest natomiast tautologią:
~~~~~~~~~~~~~~~~~~~~~~~
niezupełność to niezupełność
~~~~~~~~~~~~~~~~~~~~~~~
jest tautologią nic nie uczącą i nic nie wnoszącą do matematyki,
a w szególności taka tautologia nie wyjaśnia z czego wynika
niezupełność, niesprzeczność czy nierozstrzygalność.
To nowomowa.

> Czy potrafisz udowodnić, że istnieje taki zbiór, którego nie mozna wyczerpać
liczbami naturalnymi,
> ale po przyporządkowaniu mu każdej liczby rzeczywistej- z liczb rzeczywistych
jeszcze zostanie
> tyle, ile jest liczb naturalnych?
> --
> Serdecznie pozdrawiam
> Chiron

To o co pytasz rozstrzyga ALGEBRA
ilość elementów zbioru liczb naturalnych = N
ilość elementów zbioru liczb rzeczywistych w zapisie 10-tnym = R
zbiór o który pytasz to X
N + R = X
Jest to zbiór liczb rzeczywistych, w którym liczby całowite występują
po dwa razy.
Banał. Liczby przeliczające zbiór X pochodzą ze zbioru liczb
porządkowych LP.
Edward Robak* z Nowej Huty
~>°<~
miłośnik mądrości i nie tylko :)