English
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Kant and Real Numbers
-
Altmetric BadgeChapter 2 Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing
-
Altmetric BadgeChapter 3 Truth and Proof in Intuitionism
-
Altmetric BadgeChapter 4 Real and Ideal in Constructive Mathematics
-
Altmetric BadgeChapter 5 In the Shadow of Incompleteness: Hilbert and Gentzen
-
Altmetric BadgeChapter 6 Evolution and Logic
-
Altmetric BadgeChapter 7 The “Middle Wittgenstein” and Modern Mathematics
-
Altmetric BadgeChapter 8 Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections
-
Altmetric BadgeChapter 9 Type Theory and Homotopy
-
Altmetric BadgeChapter 10 A Computational Interpretation of Forcing in Type Theory
-
Altmetric BadgeChapter 11 Program Testing and the Meaning Explanations of Intuitionistic Type Theory
-
Altmetric BadgeChapter 12 Normativity in Logic
-
Altmetric BadgeChapter 13 Constructivist Versus Structuralist Foundations
-
Altmetric BadgeChapter 14 Machine Translation and Type Theory
-
Altmetric BadgeChapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
-
Altmetric BadgeChapter 16 Coalgebras as Types Determined by Their Elimination Rules
-
Altmetric BadgeChapter 17 Second Order Logic, Set Theory and Foundations of Mathematics