معرفت شناسی در مقابل هستی شناسی: مقالاتی درباره فلسفه و مبانی ریاضیات به افتخار پر مارتین-لوف [کتاب انگلیسی] | کتابخانه مجازی الفبا

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