cut-elimination
theorem
Press Enter · cited answer in seconds
0 sources
cut-elimination
Summary
cut-elimination is a theorem[1]. cut-elimination draws 147 Wikipedia views per month (theorem category, ranking #239 of 1,306).[2]
Key Facts
- cut-elimination's instance of is recorded as theorem[3].
- Gerhard Gentzen is named after cut-elimination[4].
- cut-elimination is part of list of theorems[5].
- cut-elimination's proved by is recorded as Gerhard Gentzen[6].
- cut-elimination's studied by is recorded as proof theory[7].
- cut-elimination's maintained by WikiProject is recorded as WikiProject Mathematics[8].
Body
Definition and Type
cut-elimination's instance of is recorded as theorem[3].
Origins
Gerhard Gentzen is named after cut-elimination[4].
Use and Application
cut-elimination is part of list of theorems[5].
Why It Matters
cut-elimination draws 147 Wikipedia views per month (theorem category, ranking #239 of 1,306).[2] cut-elimination has Wikipedia articles in 11 language editions, a strong signal of global cultural recognition.[9] cut-elimination is known by 6 alternative names across languages and contexts.[10]