Chapter 1: Proof and Computation
The following sections are included:
Introduction
Basics of Computability
Hierarchies of Computability
Constructive Ordinal Proof Theory
Computability in Higher Types
Intuitionistic Mathematics and Human Creativity
Constructive Proof Mining
Constructive Reverse Mathematics
Analog Computability and Real Analysis
Perspectives of Proof and Computation for Mathematics, Computer Science and Philosophy
References