00000000000000000000000000000000000000000000000000000000000Eng00معرفت شناسی در مقابل هستی شناسی: مقالاتی درباره فلسفه و مبانی ریاضیات به افتخار پر مارتین-لوف [کتاب انگلیسی]SpringerSpringer 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 Dybjer, Peter Author Lindström, Sten Author Palmgren, Erik Author Sundholm, Göran Author مارتین لُف, پِر (منطق‌دان، فیلسوف و آماردان ریاضی سوئدی), 1942م. استکهلم، سوئد# 1942م. استکهلم، سوئد# Descriptor book marcgt 9789400744349