[FOM] Goodstein sequence is not provable in PA

[Jhone Alemu]

Hi,

Goodstein sequence is not provable in PA .Is that right? is there a literature on this
( well,every Goodstein sequence eventually terminates at 0.   not all undecidable theorems are peculiar or contrived, as those constructed by Godel's incompleteness theorem  are sometimes considered.) 
 
Thank you
Jhone
 

 


---------------------------------
Do you Yahoo!?
Yahoo! Finance Tax Center - File online. File on time.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/fom/attachments/20040330/95c1a53f/attachment.html