[FOM] Goodstein's Theorem

Paul Tarau paul.tarau at gmail.com
Sun Mar 22 00:13:18 EDT 2009

I found it on citeseer in PDF and PS form:


Paul Tarau

P.S. For experiments with Goodstein sequences and and related stuff
contains a generator in Haskell working with arbitrary size integers.

On Sat, Mar 21, 2009 at 7:40 PM, Martin Davis <martin at eipye.com> wrote:
> The link to Justin Miller's paper on Goodstein's Theorem
> (http://www.u.arizona.edu/~miller/./thesis/thesis.ps) is broken.  Is
> it available somewhere else?
> Thanks,
> William Heck
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list