Teza Churcha. Kontekst historyczno-filozoficzny

W prezentowanej pracy Autor dokonuje filozoficzno-historycznej analizy tezy Churcha. W bogatej literaturze przedmiotu mało jest takich kompleksowych prób. Tego typu 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 opisana jest historia tezy Churcha, wychodząc 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, następnie 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, Gödla, Kleene'ego i Pepisa. W kolejnym rozdziale opisane są badania nad Tezą Churcha po II wojnie światowej, a szczególnie dokładnie poglądy Georga Kreisla. Część I kończy przegląd najnowszych (po 1990 r.) kierunków badań nad Tezą. W części drugiej rozważa się, w sposób bardziej systematyczny, pewne zagadnienia szczegółowe wynikłe z analiz historycznych. Ukazuje się najpierw status tezy Churcha, próbując udzielić odpowiedzi na pytanie o możliwe jej sformułowania i strukturę. Kolejnym rozdział podejmuje dwa kluczowe dla rozumienia tezy Churcha zagadnienia: teorię pojęć oraz pojęcie podmiotu. Część drugą kończy prezentacja i ocena różnego typu argumentów za tezą Churcha.