Użytkownik "Robakks" <R...@g...pl> napisał w wiadomości
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? 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


1. Znaleźć człowieka, z którym można porozmawiać nie wysłuchując banałów,
konowałów, idiotyzmów cwaniackich, łgarstw, fałszywych zapewnień, tanich
sprośności lub specjalistycznych bełkotów "fachowca", dla którego branżowe
wykształcenie plus umiejętność trzymania widelca jest całą jego kulturą,
kogoś bez płaskostopia mózgowego i bez lizusowskiej mentalności- to znaleźć
skarb.
- Waldemar Łysiak

2. Jedyna godna rzecz na świecie twórczość. A szczyt twórczości to tworzenie
siebie
Leopold Staff