Lógos and Máthma 2
Реклама. ООО «ЛитРес», ИНН: 7719571260.
Оглавление
Roman Murawski. Lógos and Máthma 2
About the author
About the book
Foreword
Contents
On the Philosophical Meaning of Reverse Mathematics
Hilbert’s program
Incompleteness results
Generalized Hilbert’s program
Reverse mathematics vs. Hilbert’s program
On the Distinction Proof–Truth in Mathematics
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics. Introduction
Historical remarks
Informal proofs and their role
Formal proofs and their role
Conclusion
The Status of Church’s Thesis
Between Theology and Mathematics. Nicholas of Cusa’s Philosophy of Mathematics
Phenomenological Ideas in the Philosophy of Mathematics. From Husserl to Gödel
Husserl’s philosophy of mathematics
Weyl’s and Becker’s phenomenological philosophy of mathematics
Gödel’s philosophy of mathematics versus phenomenology
Conclusion
Mathematical Foundations and Logic in Reborn Poland
Appendix
Tarski and his Polish Predecessors on Truth
Twardowski
Łukasiewicz
Zawirski, Czeżowski
Kotarbiński
Tarski’s views related to the previous sections
Language and meaning
Benedykt Bornstein’s Philosophy of Logic and Mathematics
Philosophy of Logic and Mathematics in the Warsaw School of Mathematical Logic
The philosophy of Mathematics and Logic in Cracow between the Wars
Jan Sleszyński
Stanisław Zaremba
Zygmunt Zawirski
Witold Wilkosz
Leon Chwistek
Conclusion
Philosophy of Logic and Mathematics in the Lvov School of Mathematics
Stefan Banach
Hugo Steinhaus
Eustachy Żyliński
Conclusion
Cracow Circle and Its Philosophy of Logic and Mathematics
Bibliography
Source Note
Index
Отрывок из книги
Roman Murawski, studied mathematics, philosophy and theology; MSc 1972, PhD 1979, Master of Theology 1980, licentiatus in sacra theologia 1985, Habilitation 1992, Full professor 2001; Professor of logic and philosophy of mathematics at Adam Mickiewicz University in Poznań (Poland).
www.peterlang.com
.....
←18 | 19→
Even more: if S is one of the above stated theorems then RCA0 + S is equivalent to WKL0.
.....