• DOI:10.2307/2268019
Corpus ID: 235597

On the Restricted Ordinal Theorem

@article{Goodstein1944OnTR,
  title={On the Restricted Ordinal Theorem},
  author={R. Goodstein},
  journal={J. Symb. Log.},
  year={1944},
  volume={9},
  pages={33-41}
}

R. Goodstein

Published 1944

Computer Science, Mathematics

J. Symb. Log.

The proposition that a decreasing sequence of ordinals necessarily terminates has been given a new, and perhaps unexpected, importance by the role which it plays in Gentzen's proof of the freedom from contradiction of the “reine Zahlentheorie.” Godel's construction of non-demonstrable propositions and the establishment of the impossibility of a proof of freedom from contradiction, within the framework of a certain type of formal system, showed that a proof of freedom from contradiction could be… CONTINUE READING

View PDF

Save to Library

Create Alert

Cite

Launch Research Feed