TEZA CHURCHA. KONTEKST HISTORYCZNO-FILOZOFICZNY

Ze wstępu autora:

"W prezentowanej pracy próbuję dokonać filozoficzno-historycznej analizy Tezy Churcha. W bogatej literaturze przedmiotu mało jest takich kompleksowych prób. Uważam, iż analizy historyczne mają istotną nie tylko retrospektywną wartość, pozwalają bowiem na wskazanie właściwego kontekstu rozumienia Tezy, co pozwolić może na uniknięcie wielu "ślepych zaułków" w badaniach nad nią.

Książka składa się z dwóch części. W pierwszej opisuję historię Tezy Churcha. Wychodzę od bardzo ogólnego tła historyczno-filozoficznego, na który składają się badania nad zdefiniowaniem liczby naturalnej oraz inne prace nad podstawami matematyki. Podejmuję próbę wykazania, iż właściwym kontekstem dla rozumienia Tezy Churcha, które odnaleźć można u Ojców Obliczalności: u samego Churcha, Turinga, Posta, Goedla, Kleene'ego i Pepisa.W kolejnym rozdziale opisuję badania nad Tezą Churcha po II wojnie światowej, szczególnie dokładnie przedstawiając poglądy Georga Kreisla. Część I kończy przegląd najnowszych (po 1990 r.) kierunków badań nad Tezą.

W części drugiej rozważam w sposób bardziej systematyczny pewne zagadnienia szczegółowe wynikłe z analiz historycznych. Zajmuję się najpierw statusem Tezy Churcha, próbując udzielić odpowiedzi na pytanie o możliwe jej sformułowania i strukturę. W kolejnym rozdziale zajmuję się dwoma kluczowymi dla rozumienia Tezy Churcha zagadnieniami: teorią pojęć oraz pojęciem podmiotu. Część drugą kończy prezentacja i ocena różnego typu argumentów za Tezą Churcha."