TY - BOOK
AU - Roman Murawski
PY - 2012
CY - Berlin, Germany
PB - Peter Lang Verlag
SN - 2191-1878
SN - 9783653010305
TI - Logos and Máthēma
T2 - Studies in the Philosophy of Mathematics and History of Logic
DO - 10.3726/978-3-653-01030-5
UR - https://www.peterlang.com/document/1045760
N2 - 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.
KW - Poland, Hilbert's program, incompleteness phenomenon, mechanized deduction
LA - English
ER -