back to list

Goodstein's theorem

🔗Gene Ward Smith <gwsmith@...>

7/8/2004 11:00:07 AM

This gives a nice example of a theorem which can't be proven in Peano
arithmetic:

http://en.wikipedia.org/wiki/Goodstein's_theorem

🔗Gene Ward Smith <gwsmith@...>

7/8/2004 11:08:10 AM

--- In metatuning@yahoogroups.com, "Gene Ward Smith" <gwsmith@s...>
wrote:
> This gives a nice example of a theorem which can't be proven in
Peano
> arithmetic:
>
> http://en.wikipedia.org/wiki/Goodstein's_theorem

For some reason the Sprint ad seems to destroy the link.

http://tinyurl.com/2y2fb

🔗Paul Erlich <PERLICH@...>

7/8/2004 3:14:27 PM

--- In metatuning@yahoogroups.com, "Gene Ward Smith" <gwsmith@s...>
wrote:
> This gives a nice example of a theorem which can't be proven in
Peano
> arithmetic:
>
> http://en.wikipedia.org/wiki/Goodstein's_theorem

Yup, I've tried to get the math people among us to look at this
before:

http://www2.maths.bris.ac.uk/~maadb/research/seminars/online/fgfut/