The volume contains twenty essays devoted to the philosophy of mathematics and the history of logic. They have been divided into four parts: general philosophical problems of mathematics, Hilbert's program vs. the incompleteness phenomenon, philosophy of mathematics in Poland, mathematical logic in Poland. Among considered problems are: epistemology of mathematics, the meaning of the axiomatic method, existence of mathematical objects, distinction between proof and truth, undefinability of truth, Gödel's theorems and computer science, philosophy of mathematics in Polish mathematical and logical schools, beginnings of mathematical logic in Poland, contribution of Polish logicians to recursion theory.
Reihe
Auflage
Sprache
Verlagsort
Editions-Typ
Maße
Höhe: 216 mm
Breite: 153 mm
Dicke: 22 mm
Gewicht
ISBN-13
978-3-631-61804-2 (9783631618042)
DOI
10.3726/978-3-653-01030-5
Schweitzer Klassifikation
Roman Murawski, born in 1949; studied mathematics and theology; MSc 1972, PhD 1979, Habilitation 1992, Full professor 2001; Professor of logic and philosophy of mathematics at Adam Mickiewicz University in Poznan (Poland); 2006-2009 President of Polish Association for Logic and Philosophy of Science.
Contents: Hilbert's Program - Incompleteness Theorems - Proof - Truth - Computer Science - Mechanized Deduction - Recursion Theory - Mathematical Logic.
