自然演繹、シーケンス計算。ソ連軍に捕らえられ死亡。

KatagiriSoKatagiriSo のブックマーク 2014/11/16 00:02

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

ゲルハルト・ゲンツェン - Wikipedia

    ゲルハルト・ゲンツェン ゲルハルト・カール・エーリヒ・ゲンツェン(Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日)はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう