Last Updated：2025/11/28

Of or relating to Gerhard Gentzen (1909–1945), German mathematician and logician.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

Gentzenian

Source Word

Gentzenian

Of or relating to Gerhard Gentzen (1909–1945), German mathematician and logician.

Japanese Meaning

ゲントゼン（1909–1945年、ドイツの数学者および論理学者）に関する、または彼に由来するという意味の形容詞。

The graduate student presented a Gentzenian proof that clarified the structure of cut-elimination in sequent calculus.

大学院生はゲルト・ゲンツェンに関する証明を示し、シーケント計算におけるカット消去の構造を明確にした。

Sense（1）

Of or relating to Gerhard Gentzen (1909–1945), German mathematician and logician.

more Gentzenian

（ comparative ）

most Gentzenian

（ superlative ）