http://www.arsmathematica.net/2005/05/19/goodstein-sequences/ Dedicated to the mathematical arts. Fri, 29 May 2015 09:17:44 +0000 hourly 1 https://wordpress.org/?v=4.1.41 http://www.arsmathematica.net/2005/05/19/goodstein-sequences/#comment-24 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 […]

]]>