Abstract
Prompted by Gentzen’s 1936 consistency proof, Goodstein found a close fit between descending sequences of ordinals
Cite
CITATION STYLE
APA
Rathjen, M. (2015). Goodstein’s theorem revisited. In Gentzen’s Centenary: The Quest for Consistency (pp. 229–242). Springer International Publishing. https://doi.org/10.1007/978-3-319-10103-3_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free