Sponsored by the Rutgers University Department of Mathematics and the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
Title: On two semi-positional recursive integer encodings
Speaker: Edinah Gnang, Rutgers University
Date: Thursday, March 29, 2012 5:00pm
Location: Hill Center, Room 705, Rutgers University, Busch Campus, Piscataway, NJ
In a 1944 classical paper "On the Restricted Ordinal Theorem." J. Symb. Logic 9, 33-41 Goodsteing R. L. introduced a recursive integer encoding. Using a recently proposed combinatorial algorithm for sifting primes we suggest a new variant on the Goodsteing R. L. hereditary base integer encoding. We discuss an algorithm for recovering both recursive encodings in addition to related experimental observations as well as related open problem.