English
Gentzenization
Gentzenization comes from German Gentzen.
- Germanc. 1650–presentGentzen
- Englishearliest quotation 1968Gentzenization
attested reconstructed ? uncertain or disputed
Lineage
- Germanc. 1650–presentGentzen
- Englishearliest quotation 1968Gentzenization
Earliest quotation: 1968, Nicholas Rescher: “Proof Theory (theory of axiomatizability, Gentzenization)”.
Formed from Gentzen + -ization
Every English word from German Gentzen
Today it means
noun Conversion of a logic into a Gentzenian form.
Language periods are conventional ranges, not dates for this word.
Etymograph / German Gentzen / Gentzenization