Kurt Gödel [Maria Hämann-Antilla & Jan von Plato, editors]