Teza Churcha : kontekst historyczno-filozoficzny

Brak okładki

Książka

W koszyku

oceń

Teza Churcha : kontekst historyczno-filozoficzny / Adam Olszewski. - Kraków : Towarzystwo Autorów i Wydawców Prac Naukowych Universitas, cop. 2009. - 519 s. ; 25 cm.

(Monografie Centrum Kopernika)

Autor

Olszewski Adam (1958- ).

Temat

Church, Alonzo (1903-1995). Dedekind, Richard (1831-1916). Frege, Gottlob (1848-1925). Gödel, Kurt (1906-1978). Grassmann, Hermann (1809-1877). Hilbert, David (1862-1943). Kant, Immanuel (1724-1804). Kleene, Stephen Cole (1909-1994). Kreisel, Georg (1923- ). Peano, Giuseppe (1858-1932). Pepis, Józef. Post, Emil Leon (1897-1954). Rosser, J. Barkley (1907-1989). Skolem, Thoralf (1887-1963). Turing, Alan Mathison (1912-1954). Hipoteza Churcha-Turinga. Logika matematyczna. Poznanie.

I. KONTEKST HISTORYCZNY. 1. Tło historyczne: Dziedzictwo Kanta i trzy projekty ; Zasada indukcji: Hermann Grasmann (18091877) ; Logicyzm i liczby naturalne: Frege (1848-1925) ; Czym są liczby? Richard Dedekind (1831-1916) ; Zerwanie z ontologią podmiotu: Giuseppe Peano (1858-1923) ; Formalizm jako program badawczy: David Hilbert (1862-1943) ; W duchu Programu Hilberta: Thoralf Skolem (1887-1963) ; Granice formalizmu: Kurt Gödel (1906-1978). 2. Teza Churcha w poglądach Ojców Obliczalności: Alonzo Church (1903-1995) ; Alan M. Turing (1912-1954) ; Stephen C. Kleene (1909-1994) ; Kurt Gödel (1906-1978) ; Emil Post (1897-1954) ; Barkley J. Rosser (1907-1989) ; Józef Pepis. 3. Badania nad Tezą Churcha 1945-1990: Georg Kreisel (1923-) ; Krytyka Tezy Churcha ; Obrona Tezy Churcha. 4. Teza Churcha po 1990 r. II. ZAGADNIENIA SZCZEGÓŁOWE. 5. Status Tezy Churcha. 6. Pojęcia i podmiot. 7. Argumenty za Tezą Churcha.

zob. w.bibliotece.pl

Status dostępności:

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-92730 (1 egz.)

Strefa uwag:

Uwaga dotycząca bibliografii

Bibliogr. s. [487]-512. Indeks.

Uwaga dotycząca języka

Streszcz. ang.