Andrej Bauer: Autumn realizability

Abstract: The seminar will provide an introduction to the theory of realizability. Realizability is an interpretation of logic in which statements are not just true or false, but are realized by programs. For example, the statement that for every natural number there exists a larger prime is realized by a program that calculates a larger prime for a given input. The logic obtained in this way is intuitionistic.

Reading material: Andrej Bauer, Notes on realizability