Disambiguation evidence for Gerhard Gentzen via surface form

"Gerhard Gentzen"

Triples (18)

Triples where some other subject referred to this entity as "Gerhard Gentzen".

Jacques Herbrand → influenced →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Gerhard → hasNotableBearers →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Solomon Feferman → influencedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Paul Bernays → influenced →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Grundzüge der theoretischen Logik → influenced →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
linked to: Hilbert and Ackermann’s "Grundzüge der theoretischen Logik"
Gerhard Gentzen → name →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Gisbert Hasenjaeger → influencedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Gaisi Takeuti → influencedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Gentzen’s consistency proof for arithmetic → author →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Principles of Mathematical Logic → influenced →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
William Alvin Howard → influencedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Gentzen → notableBearer →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
sequent calculus → introducedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
cut-elimination theorem → introducedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Gentzen-style proof systems → namedAfter →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Untersuchungen über das logische Schließen → author →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
Jean-Yves Girard → influencedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ
proof theory → historicallyDevelopedBy →
"Gerhard Gentzen"
↳ resolves to Gerhard Gentzen
ⓘ