Realizability as the Connection between Computable and Constructive Mathematics
Andrej Bauer · 2005
These are lecture notes for a tutorial seminar which I gave at a satellite seminar of “Computability and Complexity in Analysis 2004 ” in Kyoto. The main message of the notes is that computable mathematics is the realizability interpretation of constructive mathematics. The presentation is targeted at an audience which is familiar with computable mathematics but