Kreisel's Interests: On the Foundations of Logic and Mathematics

The contributions to this volume are from participants of the international conference Kreisel's Interests -- On the Foundations of Logic and Mathematics, which took place from 13 to 14 August 2018 at the University of Salzburg in Salzburg, Austria. The contributions have been revised and partially extended. Among the contributors are Akihiro Kanamori, Göran Sundholm, Ulrich Kohlenbach, Charles Parsons, Daniel Isaacson, and Kenneth Derus. The contributions cover the discussions between Kreisel and Wittgenstein on philosophy of mathematics, Kreisel's Dictum, proof theory, the discussions between Kreisel and Gödel on philosophy of mathematics, some biographical facts, and a collection of extracts from Kreisel's letters.