http://www.arsmathematica.net/archives/2005/05/19/goodstein-sequences/ Dedicated to the mathematical arts. Sat, 30 Aug 2008 11:58:29 +0000 http://wordpress.org/?v=2.5.1 http://www.arsmathematica.net/archives/2005/05/19/goodstein-sequences/#comment-24 Ars Mathematica » Blog Archive » Goodstein Revisited Fri, 03 Jun 2005 16:02:46 +0000 http://www.arsmathematica.net/?p=21#comment-24 [...] sked for an example of what proof theory is good for. I wanted to sketch an example using Goodstein sequences. Proving that Goodstein sequences always eventually g [...] [...] sked for an example of what proof theory is good for. I wanted to sketch an example using Goodstein sequences. Proving that Goodstein sequences always eventually g [...]

]]>