12 Übungen. Mittags mit HempelPHempel, Carl Gustav, 1905–1997, dt.-am. Philosoph, verh. mit Eva Hempel, ab 1947 mit Diane Hempel. Nachher GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker. Über Formalisierbarkeit der Mathematik fortgesetzt. Ziel der Mathematik. Finitismus.
