Gentzenian

Adjective

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 ）