|
|
|||
|
||||
OverviewThe 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. Full Product DetailsAuthor: Roman MurawskiPublisher: Peter Lang AG Imprint: Peter Lang AG Edition: New edition Volume: 1 Weight: 0.530kg ISBN: 9783631618042ISBN 10: 3631618042 Pages: 340 Publication Date: 08 July 2011 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsContents: Hilbert’s Program – Incompleteness Theorems – Proof – Truth – Computer Science – Mechanized Deduction – Recursion Theory – Mathematical Logic.ReviewsAuthor InformationRoman 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 Poznań (Poland); 2006-2009 President of Polish Association for Logic and Philosophy of Science. Tab Content 6Author Website:Countries AvailableAll regions |
||||