"Chiron" <e...@o...eu>
news:hk2glc$pnk$1@news.onet.pl...
> "Robakks" <R...@g...pl>
> news:hk2aqi$97e$1@inews.gazeta.pl...
>> "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 :)

> OK- przeczytałem to. Z czym się Robakksie nie zgadzasz? Albo raczej: dlaczego
uważasz za bełkot
> coś, co z całą pewnością nim
> nie jest- a czego po prostu nie rozumiesz? Czy wiesz chociaż, dlaczego tego nie
rozumiesz?
> --
> Serdecznie pozdrawiam
> Chiron

Bełkotem jest zdanie ujęte w ramkę, a wyjaśnienie dlaczego to zdanie
jest bełkotem zamieszczone jest pod ramką:
"dowód na nieznane prawdy matematyczne jest LICZBĄ, bo gdyby
nie był, to nie mógłby być prezentowany cyfrowo na ekranie.
Komputer odkrywa dowody na nieznane prawdy matematyczne
dokładnie tak samo jak grzybiarz odkrywający grzyba w lesie, czy
astronom odkrywający nieznane ciało niebieskie. Jest jak napisałem:
komputer bierze kolejne liczby i sprawdza pod kątem poprawności.
Gdy rozkodowana liczba nie zawiera sprzeczności i błędów to
jest odkryciem dokonanym przez komputer. Wiele z tych odkryć
to dowody na nieznane prawdy matematyczne"
A teraz Ty Drogi Chironie napisz co zrozumiałeś. :-)
Edward Robak* z Nowej Huty
~>°<~
miłośnik mądrości i nie tylko :)

PS. Ja rozumiem nie tylko fałsz twierdzenia Godela, ale rozumiem
także do czego służy nagłaśnianie z całą pewnością fałszywych
twierdzeń, nadając im status twierdzeń niefałszywych. Ten proces
nazywa się "odmóżdżanie" = bombardowanie umysłu ogłupiającymi
mantrami i zakazami.