Exploring critical issues in the philosophy of logic and mathematics, this volume addresses topics such as reverse mathematics, the nature of proof, and the significance of Church's Thesis. It delves into the relationship between mathematics and theology, the concept of truth, and examines the philosophical landscape of logic and mathematics during interwar Poland. The diverse range of problems presented offers a comprehensive look at the intricate connections between these fields.
Roman Murawski Knihy
15. červenec 1949
Funkcje rekurencyjne i elementy metamatematyki
- 188 stránek
- 7 hodin čtení
Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii. Podręcznik napisany niezwykle interesująco, przeznaczony dla czytelnika posiadającego podstawowe wiadomości z zakresu kursu logiki.
Dieses Werk ist eine Einführung in philosophische Probleme und Hintergründe des mathematischen Denkens, Lehrens und Lernens. Es beinhaltet mathematische und philosophische Probleme und Fragen, einen umfangreichen Abriss der Geschichte bis hin zu aktuellen Strömungen, sowie Kapitel über Mengenlehre, Logik, Axiomatik, fundamentale Ergebnisse, ungelöste und unlösbare Probleme.