Events Tagged: "ordinal analysis"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "ordinal analysis"
1936
ID: 401
Gentzen proves consistency of Peano arithmetic using transfinite induction up to ε₀
ID: 401
👤
Gerhard Gentzen
mathematics
proof theory
consistency proof
ordinal analysis