### 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/