Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

ホーム
> 洋書

Menzler-Trott, Eckart

Birkhaeuser（2001発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

ページ数 410 p.
商品コード 9783764365745

Full Description

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.