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 Author Lindström, Sten Author Palmgren, Erik Author Sundholm, Göran Author مارتین لُف, پِر (منطق‌دان، فیلسوف و آماردان ریاضی سوئدی), 1942م. استکهلم، سوئد# 1942م. استکهلم، سوئد# Descriptor Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm Author book 9789400744349 1402-02-20 1402-02-25