"Logic's Lost Genius: The Life of Gerhard Gentzen"

Logic Matters経由。ドイツ語でしか読めなかったゲンツェンの伝記が英語で出る！詳細はこちら。
ゲンツェンは Sequent calculus の創設者にして "the founder of modern structural proof theory" と見なされる一方、その愚行は数学基礎論の黒歴史扱いされている。今回の伝記は数学上の業績だけでなく、

Particular emphasis in the book is put on the conditions of scientific research ... in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists.

も詳しく取り上げているらしいです。ぜひ読みましょう。