معرفت شناسی در مقابل هستی شناسی: مقالاتی درباره فلسفه و مبانی ریاضیات به افتخار پر مارتین-لوف [کتاب انگلیسی] Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf English Springer 2012 Table of contents :,Front Matter....Pages i-xxvii,Front Matter....Pages 1-1,Kant and Real Numbers....Pages 3-23,Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing....Pages 25-44,Truth and Proof in Intuitionism....Pages 45-67,Real and Ideal in Constructive Mathematics....Pages 69-85,In the Shadow of Incompleteness: Hilbert and Gentzen....Pages 87-127,Evolution and Logic....Pages 129-138,The “Middle Wittgenstein” and Modern Mathematics....Pages 139-159,Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections....Pages 161-180,Front Matter....Pages 181-181,Type Theory and Homotopy....Pages 183-201,A Computational Interpretation of Forcing in Type Theory....Pages 203-213,Program Testing and the Meaning Explanations of Intuitionistic Type Theory....Pages 215-241,Normativity in Logic....Pages 243-263,Constructivist Versus Structuralist Foundations....Pages 265-279,Machine Translation and Type Theory....Pages 281-311,Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions....Pages 313-349,Coalgebras as Types Determined by Their Elimination Rules....Pages 351-369,Second Order Logic, Set Theory and Foundations of Mathematics....Pages 371-380,Back Matter....Pages 381-385 text Dybjer, Peter Lindström, Sten Palmgren, Erik Sundholm, Göran مارتین لُف, پِر (منطق‌دان، فیلسوف و آماردان ریاضی سوئدی), 1942م. استکهلم، سوئد# book 9789400744349