Gentzens Problem : Mathematische Logik im nationalsozialistischen Deutschland
著者
書誌事項
Gentzens Problem : Mathematische Logik im nationalsozialistischen Deutschland
Birkhäuser Verlag, c2001
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
Gerhard Gentzen (1909-1945) ist der Begr nder der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung seiner Arbeiten zeigt sich bis heute in der Informatik und beeindruckt durch Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten umfassenden Biografie Leben und Werk Gerhard Gentzens, seinen tragischen Lebensweg: Festnahme 1945 in Prag, Gefangenschaft und Tod. Plus: zahlreiche, bislang unver ffentlichte Dokumente und Fotos.
「Nielsen BookData」 より