複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/根岑/19141111
複製
複製成功

根岑

鎖定
根岑 [1]  (Gentzen, Gerhard Karl Erich, 1909-1945年)德國數學家.
中文名
根岑
國    籍
德國
生於格賴夫斯瓦爾德(Greif-swald )，卒於捷克布拉格.1932年獲博士學位.1934-1943年，在格丁根為希爾伯特(Hil6ert,D. )當了10年助手，後任教於布拉格大學.他在《基本定理》中強化了演繹系統，完成了古典分析系統相容性證明的部分工作，給出希爾伯特一根岑定理，將希爾伯特的邏輯公理計劃推進到新的階段.此外，他還證明過一些初等數論中的問題.
參考資料
  • 1.    數學辭海第六卷