Goodstein dizisi Peano aritmetiğinde (PA) her bir doğal sayı için kanıtlanabilir, ancak tüm doğal sayılar için (\forall n) bu ispatlanamaz.
Goodstein'in teoremi, Zermelo-Fraenkel set teorisi (ZF) gibi daha güçlü sistemler sayesinde bilinir ve ispatlanabilir.
PA, aslında hesaplama kodlayabilme yeteneğine sahiptir, bu nedenle her bireysel G(n) için bir kanıt oluşturup sonuca ulaşabilir.
Goodstein dizileri konusunda, PA üzerinde yalnızca belli bir sınıra kadar transfinite tümevarım uygulanabilir.
Btilly'nin yanıtı, PA'nın kanıt verme kapasitesini artırmak için "uniform reflection schema" adında bir araç kullanmayı öneriyor.
Get notified when new stories are published for "🇹🇷 Hacker News Türkçe"