サイトを快適に利用するためには、JavaScriptを有効にしてください。
Home
Service
About us
Actual introduction
Glossary
Job Information
Contact Us
It opens up the feelings of our predecessors in the advanced technology
Site map
Privacy Policy
Contact us
Home
Service
About us
Actual introduction
Glossary
Job Information
Contact Us
用語集
>
一般用語集
>
け
>ゲンツェン【Gerhard Gentzen】
一般用語集
ゲンツェン【Gerhard Gentzen】 一般用語集 け
項目
ゲンツェン【Gerhard Gentzen】
意味
(1909-1945) ドイツの数学者・論理学者。自然数論の無矛盾性を証明。また,全称記号“∀”の使用を創始。
一般用語集 五十音順
Tweet