Cafe Aleph

Wyrażona jednym zdaniem konkluzja drugiej części wpisu brzmi następująco:
„Przyrównując umysł do maszyny Turinga, ma się na myśli hipotezę, że poznawcza moc umysłu, a więc zakres rozwiązywalnych przezeń problemów, pokrywa się z mocą obliczeniową komputerów cyfrowych, które pod względem tejże mocy są równoważne maszynom Turinga”.

Mimo tak dokładnie rozpisanej konkluzji pozostaje jednak kluczowe pytanie.
Jak mamy traktować umysł, którego przytoczona hipoteza dotyczy?

Próbując na nie odpowiedzieć, zacytuję szerszy fragment eseju „Czy umysł jest liczbą?”, który ukazał się w mojej i Witolda Marciszewskiego książce p.t. „Umysł – Komputer – Świat. O zagadce umysłu z informatycznego punktu widzenia”.
Oto zaczerpnięte z tego tekstu objaśnienia (nieznacznie zmienione w stosunku do oryginału).

Otóż, po pierwsze, można traktować indywidualny umysł jako obiekt zmienny w czasie, który w każdej chwili T ma inną zawartość informacyjną, a co za tym idzie wykazuje inne możliwości. Do rozumienia takiego prowadzi zwykła codzienna obserwacja – wszak my sami, niewątpliwi posiadacze umysłów, nieustannie rozwijamy się, uczymy, gromadzimy nowe doświadczenia, a wskutek tego zawartość naszych umysłów, jeśli nie doskonali się, to przynajmniej ulega pewnym zmianom. Ze względu na owe zmiany – zmiany postępujące wraz z upływem czasu T – proponujemy nazwać umysł zmienny „T-umysłem”.
Wyrażając jego istotę w terminach komputerowych, moglibyśmy stwierdzić, że T-umysł jest komputerem, który w różnych chwilach T ma dostęp do różnych programów; przy czym kwestią otwartą pozostaje, czy programy te dostarcza ktoś z zewnątrz, czy też umysł tworzy je i uaktywnia sam (ważne, że w różnych chwilach T umysł ma do dyspozycji różne zestawy programów).

Po drugie jednak, można rozumieć umysł jako pewną całość niezmienną, która pozornie tylko ulega zmianom, a tak naprawdę zawiera w sobie pełen, raz na zawsze określony, algorytm postępowania. Algorytm ten wykazuje tak dużą złożoność (albo inaczej: jego kod jest liczbą tak ogromną), że nie sposób rozwikłać wszystkich jego zawiłości i stwierdzić z całą pewnością, jak algorytm ten działałby w każdych okolicznościach. W gruncie rzeczy jednak algorytmiczny schemat jest ściśle określony, a umysł ściśle deterministyczny. (Zdaje się, że tak właśnie postrzegał umysł Leibniz, co może stanowić punkt wyjścia do dyskusji ze znawcami myśli tegoż filozofa).
Byłaby to zatem jakaś niezmienna, statyczna super-struktura, sterująca organizmem w sposób totalny – stąd jej proponowana nazwa: „S-umysł”; z literką S, która ma podkreślić zakładaną tutaj cechę statyczności umysłu.. Wracając do stylistyki komputerowej, trzeba by powiedzieć, że S-umysł przypomina super-komputer wyposażony w niezwykle wyrafinowane oprogramowanie, obejmujące miliardy gotowych procedur przewidzianych na wszelkie możliwe sytuacje (ewentualnie: jeśli niektóre z tych procedur nie są gotowe wprost, to „mentalne oprogramowanie” może wygenerować je niezawodnie za pomocą pewnych ściśle określonych schematów samodoskonalenia, czyli uczenia się).

Uzyskujemy zatem dwie skrajnie różne interpretacje dziedziny mentalnej: z jednej strony zmienny i zapewne niedeterministyczny T-umysł, z drugiej strony zaś, niezmienny i zapewne deterministyczny S-umysł. Gdzieś pomiędzy nimi, a raczej w nich, kryje się możliwość trzecia, a mianowicie umysł zredukowany do niezbędnego minimum algorytmów, które pozwolą mu zrealizować każdą inną procedurę algorytmiczną. Nazwijmy tę możliwość „umysłem minimalnym”, co da się skrócić jako „M-umysł”.
Zachodzi oczywiście pytanie, czy ostatnia koncepcja ma jakiś uchwytny sens psychologiczny, a zatem czy psychologowie rozważają jakiś odpowiednik M-umysłu. Odpowiedź wydaje się natychmiastowa. Mentalne minimum byłoby tożsame z pewną wiedzą wrodzoną, dzięki której ogół ludzi podobnie się rozwija, podobnie rozumuje i podobnie postępuje, wykonując różne czynności w sposób automatyczny.

Uważny czytelnik wpisu (zwłaszcza odcinka pierwszego) dostrzegł zapewne pokrewieństwo między odpowiadającym wiedzy wrodzonej M-umysłem i uniwersalną maszyną Turinga (UMT). Przypomnijmy, że UMT potrafi symulować każdą konkretną maszynę Turinga, a to za sprawą programu, który służy do odczytywania i wykonywania kodów wszelkich innych maszyn (kodów traktowanych jako dane wejściowe UMT). Podobnie zaś minimalny M-umysł potrafi odpowiednio zinterpretować i wykonać każdą dostarczoną mu procedurę algorytmiczną (niezależnie od tego, skąd procedura ta pochodzi).

I tak oto wróciliśmy do pojęcia maszyny Turinga, które stanowi oś tematyczną niniejszego szkicu. Mając na oku to pojęcie, spróbujmy zastanowić się, co w świetle trzech różnych interpretacji umysłu (interpretacji hipotetycznych) znaczy teza zrównująca umysł z maszyną Turinga.

Wypunktujmy:

(1) zmienny T-umysł trzeba przyrównać do serii następujących po sobie konkretnych maszyn Turinga (maszyn cząstkowych, jeśli chodzi o ogół problemów możliwych do rozwiązania przez maszyny Turinga);

(2) niezmienny S-umysł można przyrównać do konkretnej mega-maszyny Turinga (maszyny, której program pozwala rozwiązać ogół problemów osiągalnych dla danego umysłu; dopowiedzmy, że program ów musi cechować niebywała złożoność i objętość);

(3) minimalny M-umysł można przyrównać do uniwersalnej maszyny Turinga UMT (tj. maszyny zdolnej symulować każdą maszynę konkretną, pod warunkiem dostarczenia automatowi UMT jej programu).

I tak oto, spinając w trzech powyższych punktach różne pojęcia umysłu z różnymi wariantami maszyn Turinga, dotarliśmy do końca trzyczęściowego szkicu.
Licząc na owocną dyskusję, pozostawiam ten szkic do namysłu zainteresowanym czytelnikom.

Paweł Stacewicz

Część drugą planowanej serii wpisów o maszynie Turinga rozpocznę od krótkiego streszczenia części pierwszej, która traktowała o samych maszynach Turinga, a także o związku tychże automatów z komputerami cyfrowymi.
Oto najważniejsze stwierdzenia z odcinka poprzedniego.

1) Maszyna Turinga (MT) jest to pewien abstrakcyjny automat, który precyzuje ideę algorytmu.

2) Automat ten ma pewien opis fizyczny (składa się m.in. z podzielonej na komórki taśmy oraz głowicy do odczytu/zapisu danych), ale także ważniejszy od niego opis logiczny (przetwarza symbole pewnego kodu, a przetwarzaniem steruje ściśle określony program).

2a) Z uwagi na opis fizyczny maszynę MT można rozumieć jako realny mechanizm, który można faktycznie skonstruować i faktycznie stosować do przetwarzania danych.

2b) Z uwagi na opis logiczny maszynę MT wolno utożsamić z jej programem.

3) Maszyny Turinga dzielą się na: (a) konkretne – wyposażone w konkretne programy, do realizacji konkretnych zadań, (b) uniwersalne – wyposażone w specjalne programy do symulacji dowolnych maszyn konkretnych (czyli realizacji dowolnych programów).

3a) Wszystkie maszyny MT – i konkretne, i uniwersalne – podpadają pod ten sam opis fizyczny; elementem różnicującym jest opis logiczny.

3b) Wszystkie maszyny uniwersalne są sobie równoważne pod względem możliwości symulacyjnych; w teorii zatem wolno je zastąpić jednym pojęciem uniwersalnej maszyny Turinga (UMT).

4) Jeśli chodzi o moc obliczeniową, a więc zakres możliwych do realizacji zadań, to maszyny Turinga są równoważne komputerom cyfrowym.
Znaczy to, że każdy program dla maszyny cyfrowej można zakodować w postaci wykonalnej dla pewnej konkretnej maszyny MT, a zatem i dla maszyny UMT.

————-

Przytoczywszy wyraźnie kluczowe punkty z części pierwszej, możemy przyjrzeć się bliżej interesującej nas formule, która głosi, że to „umysł jest maszyną Turinga”.

Choć zawarty w powyższym zdaniu (i w tytule wpisu) filozoficzny skrót stwierdza, że to umysł właśnie, a nie komputer cyfrowy, jest maszyną Turinga, to skrót ten staje się zrozumiały dopiero w kontekście tzw. „komputerowej metafory umysłu”. Zgodnie z tąże metaforą ludzki umysł ma przypominać pewnego rodzaju komputer lub nawet być takim komputerem. To zaś znaczy, że umysł niczym komputer przetwarza docierające doń informacje (wizualne, dźwiękowe itp.), i tak jak komputer steruje (gdy zachodzi taka potrzeba) fizycznymi czynnościami sprzężonego z nim urządzenia, czyli ciała.

Jeśli metaforę tę przyjąć (po czemu istnieją dość dobre argumenty), a następnie założyć, że porównywany z umysłem komputer należy do gatunku cyfrowych, to wspomniana metafora przechodzi gładko w rozpatrywane tu stwierdzenie, że „umysł jest maszyną Turinga”. A przechodzi dlatego, że maszyny cyfrowe – w myśl sformułowanego wyżej punktu 4 – są równoważne automatom Turinga.

Co to jednak znaczy konkretnie? I jak się mają części składowe komputera (np. cyfrowego) do znanej z nauki struktury umysłu?

Odpowiedniości wydają się oczywiste.
Otóż, po pierwsze, biologiczny fundament umysłu czyli mózg (będący jednocześnie umysłowym podsystemem) odpowiada fizycznej składowej komputera, czyli temu, co zwie się z angielska „hardware”. Po drugie zaś, informacyjna zawartość umysłu, a więc swoiste mentalne oprogramowanie, które wymusza takie a nie inne działanie mózgu, znajduje swój komputerowy odpowiednik po stronie oprogramowania właśnie, zwanego po angielsku „software”.

A przełożywszy te relacje na język turingowski, trzeba by powiedzieć, co następuje. Biologicznej części umysłu, czyli mózgowi, odpowiada fizyczne wyposażenie maszyny Turinga (taśma, głowica itd.), natomiast wykonywanemu przez mózg mentalnemu oprogramowaniu – tablica instrukcji maszyny. Nie twierdzi się przy tym, że umysł jest maszyną Turinga w dosłownym sensie (a więc, że faktycznie istnieje jakaś mózgowa głowica czy też sterujący tą głowicą zestaw umysłowych instrukcji).
Mówi się TYLKO tyle, że istnieją powyższe odpowiedniości.
Ale nadto AŻ tyle, że moc obliczeniowa ludzkiego umysłu pokrywa się z mocą obliczeniową automatów Turinga (reprezentowanych zbiorczo przez maszynę uniwersalną UMT).

Ostatnie zdanie jest bardzo ważne, bo wyjawia istotny sens zabiegu sprowadzenia i komputerów cyfrowych i umysłów ludzkich do poziomu skrajnie prostej maszyny, sterowanej skrajnie prostymi co do formy instrukcjami. Ów sens polega na uproszczeniu analizy. Okazuje się bowiem, że poprzez analizę tak prostej konstrukcji jak automat Turinga stosunkowo łatwo jest określić granice możliwości umysłu porównywanego wstępnie z komputerem cyfrowym.

To jednak nie wszystko.
Dalsze subtelności rozprawiania o zjawiskach mentalnych w kategoriach maszyn Turinga kryją się w różnych możliwych rozumieniach pojęcia umysłu. Co bowiem do konstrukcji Turinga chcemy sprowadzić? Konkretny umysł jakiegoś myślącego indywiduum, czy też ogólnie pojęty umysł gatunku homo sapiens? A może jeszcze coś innego?
Do subtelności tych przejdziemy w trzeciej części wpisu.