BB(6) için bilinen alt sınırı, 15 kat tetrasyonlu 10 (yani 10’un üst üste üstelinin 15 kez tekrarı) olarak güncellendi.
Sonrasında bu alt sınır, Coq ile doğrulanan bir ispatla 10 milyon kat tetrasyonlu 10’dan daha büyük olarak iyileştirildi.
En son yeni bir sonuçla alt sınır, 2 tetrasyonunun pentasyonla genişletildiği 2 tetrate 2 tetrate 2 tetrate 9 olarak artırıldı.
BB fonksiyonu 5’ten 6’ya geçerken milyonlardan gözlemlenebilir evren sınırlarını aşan değerlere sıçrama yapıyor.
Bu hızlı büyüme, BB(n)’in küçük n değerlerinde bile set teorisinin ZFC aksiyomlarından bağımsız sonuçlar verebileceği fikrini destekliyor.
Yeni alt sınırların doğruluğu, formal doğrulama aracı Coq kullanılarak kanıtlandı.
Get notified when new stories are published for "🇹🇷 Hacker News Türkçe"