Witold Marciszewski (UwB)
Czy Alan Turing jest uniwersalną maszyną Turinga?

Problem omawiany w referacie dzieli się na trzy pytania. Na każde z nich proponuje się odpowiedź zawartą niżej w zdaniach A, B, C.
Z każdej z nich wynika negacja poglądu, że Alan Turing jest równoważny uniwersalnej maszynie Turinga
(krótko: „Turing = UMT”).

Trzy cechy różnią umysł od UMT.
(A) Umysł się wciąż rozwija, podczas gdy repertuar zachowań UMT jest ograniczony oprogramowaniem.
(B) Umysł jest zdolny dostrzec granicę w nieskończoności, w czym zawiera się odniesienie do nieskończenie wielu operacji, podczas gdy każda procedura UMT zawiera skończoną liczbę operacji; przykładem tej możliwości umysłu – argumenty przekątniowe Cantora, Turinga etc.
(C) Umysł jest zdolny do aktów twórczych, których nie determinuje oprogramowanie.

Odpowiedź przecząca na pytanie tytułowe referatu wyraża jedną z możliwych odmian światopoglądu informatycznego (ŚI).
Odmienny ŚI streszcza się w odpowiedzi twierdzącej.
Oba jednak należą do tej samej klasy światopoglądów. Jej elementom wspólne jest to, że punktem odniesienia dla modeli umysłu i innych układów przetwarzających informacje są twierdzenia o niezupełności arytmetyki i nierozstrzygalności logiki oraz pojęcie maszyny Turinga.

MATERIAŁY DO DYSKUSJI

1) Krótka wersja odczytu
[pytania kierunkujące dyskusję, cytaty i krótkie objaśnienia]

2) Wpis w blogu Cafe Aleph
[dyskusję nad referatem prosimy prowadzić tutaj, a nie w blogu CA]

6 odpowiedzi na „Witold Marciszewski (UwB)
Czy Alan Turing jest uniwersalną maszyną Turinga?

Dodaj komentarz

Twój adres e-mail nie zostanie opublikowany. Wymagane pola są oznaczone *