[FOM] Goodstein's Theorem

[Paul Tarau]

I found it on citeseer in PDF and PS form:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3296

Paul Tarau

P.S. For experiments with Goodstein sequences and and related stuff
             http://arXiv.org/abs/0808.2953
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
>