gentzen

複数:

gentzens

意味・定義

2つの辞書から2件の定義

JMdict

1件

名詞

1ゲンツェン

JMdict © James William BREEN and The Electronic Dictionary Research and Development Group

ライセンス: CC BY-SA 4.0

AIによる解説

1件

1ゲンツェン。ドイツの論理学者ゲルハルト・ゲンツェンに由来。自然演繹の創始者。

Gerhard Gentzen, a German logician who founded natural deduction and sequent calculus.

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

The Gentzen system is used in mathematical logic.

ゲンツェン体系は数理論理学で使用される。

-

Gentzen's work laid the foundation for proof theory.

ゲンツェンの研究は証明論の基礎を築いた。

-

関連語

活用形・派生語などの関連単語