[utrivv]

W sieci znalazłem niezwykle ciekawy artykuł. Jest to jakby polemika z pewnym twierdzeniem czy też próba wykazania nieprawdziwości ale w praktyce bardzo ładnie opisuje pewne niezwykle ciekawe zagadnienie dotyczące konsekwencji Twierdzenie Gödla.
To co najciekawsze zaczyna się IMO od 58 strony - czyli co myślał na ten temat sam Gödel.


http://www.iit.pwr.wroc.p...s_krajewski.pdf

Cytat:

„Nawet jeżeli skończony mózg nie jest w stanie zawierać nieskończonej ilości informacji, duch może być w stanie. Mózg jest maszyną liczącą połączoną z duchem” (Wang [1996], 193). To ostatnie stwierdzenie brzmi wyjątkowo mało współcześnie. Wydaje się powtórzeniem kartezjańskiej wizji „ducha w maszynie”. W ten sposób, śledząc rozwój mechanicyzmu od Kartezjusza do Gödla, zataczamy krąg.

Cytat:

Pozostają trzy możliwości, jeśli chodzi o ograniczenia wprowadzane przez twierdzenie Gödla na maszyny i ludzi. Po pierwsze, niektórzy uważają, że maszyna podlega ograniczeniom, a umysł nie; należy do nich sam Gödel, no i oczywiście Lucas i Penrose, którzy myślą, wbrew Gödlowi, że da się tego dowieść. Jak pokazaliśmy, popadają wtedy w sprzeczność. Po drugie, wielu autorów stwierdza, że i maszyny, i umysł podlegają takim samym lub podobnym ograniczeniom. Wreszcie, po trzecie, niektórzy suponują, że może jesteśmy sprzecznymi maszynami, a przynajmniej, że jest to logicznie możliwe, więc z tego powodu nie podlegamy ograniczeniom gödlowskim.

[MORT]

Wcześniej nie zauważyłem tego tematu. Może mi kiedyś skasowało nadmiar nieprzeczytanych postów?
Da się to jeszcze gdzieś znaleźć?

Na marginesie - to, że umysł podlega ograniczeniom jest taką oczywistością, że aż niektórzy ją chyba przegapiają...

[wred]

www.ii.pwr.wroc.pl/~prusiewicz/s_krajewski.pdf

chyba to to ?
chociaż mi się nie chce tego czytać...
jest sens ??

[MORT]

[utrivv]

Temat ciekawy ale bez przygotowywania filozoficznego jest ciężko

[utrivv]

Cytat:

Hitachi poinformował, że zatrudnił właśnie nowych pracowników. Nie są nimi jednak specjalistycznie wykwalifikowani przedstawiciele „zasobów ludzkich”, tylko maszyny wyposażone w zaawansowane w algorytmy, które roboczo można nazwać sztuczną inteligencją. Hitachi nie zdecydowało się poinformować o skali swoich działań: nieznana jest liczba fabryk, których pracą zarządzają maszyny.

http://www.hitachi.com/Ne.../09/150904.html
http://www.dobreprogramy....News,66336.html

Ciekawe czy chodzi o produkcję uzbrojenia?

[Trojan]

[Reyn]

Jakiego dokładnie twierdzenia dotyczy ta praca? Gödel raczej więcej niż jedno twierdzenie sformułował i udowodnił.

Inna sprawa, że jego twierdzenia chyba dotyczyły czystej matematyki. Wyprowadzanie z nich jakichś metafizycznych wniosków wydaje mi się trochę sztuką dla sztuki. Oczywiście – zacne ćwiczenie umysłu (a może przede wszystkim języka) ale trudno mi się powstrzymać przed pomyśleniem: "pierdololo".

Zastrzegam przy tym, że tekstu jeszcze nie przeczytałem, to takie przemyślenia na ten moment. Możliwe że po lekturze zweryfikuję. Jeśli w ogóle zdołam przebrnąć. Znając życie pewnie nie, ale z drugiej strony zagadnienie wydaje się ciekawe, więc chciałbym chociaż spróbować.