"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 :)