DIMACS - RUTGERS EXPERIMENTAL MATHEMATICS SEMINAR

Sponsored by the Rutgers University Department of Mathematics and the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)

Co-organizers:

Brian Nakamura, Rutgers University, bnaka {at} math [dot] rutgers [dot] edu

Doron Zeilberger, Rutgers University, zeilberg {at} math [dot] rutgers [dot] edu

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

Abstract:

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.

See: http://www.math.rutgers.edu/~bnaka/expmath/