Teema: Tieteen persoonat.
Gerhard Gentzen, 1909-1945, tutki matemaattisia todistuksia, luonnollista päättelyä ja sekvenssikalkyyliä, joista myöhemmin tuli perusta ohjelmointikielten kehitykselle ja niiden verifioinnille.
Gentzen jatkoi Kurt Gödelin epätäydellisyysteoreeman (1931) merkityksen selvittämistä.