Ordinal notation
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! In mathematical logic and set theory, an ordinal notation is a finite sequence of symbols from a finite alphabet which names an ordinal number according to some scheme which gives meaning to the language. There are many such schemes of ordinal notations, including schemes by Wilhelm Ackermann, Heinz Bachmann, Buchholz, Georg Cantor, Solomon Feferman, Gerhard Jager, Isles, Pfeiffer, Wolfram Pohlers, Kurt Schutte, Gaisi Takeuti (called ordinal diagrams), Oswald Veblen. Given such a scheme, one should be able to define a recursive well-ordering of a subset of the natural numbers by associating a natural number with each finite sequence of symbols via a Godel numbering. Stephen Cole Kleene has a...
ISBN: 978-6-1303-3855-8
Издательство:
Книга по требованию
Дата выхода: июль 2011