Beşinci Meşgul Kunduz sayısı BB(5)
Bu sayfa bir hüküm vermez; iddiaları ve kanıtları kaynaklarıyla sunar. Bilimde hiçbir teori mutlak değildir. Yöntem
Herkes için
"Meşgul Kunduz" sorusu, belirli sayıda duruma sahip bir Turing makinesinin durmadan önce en fazla kaç adım atabileceğini sorar. Beş durum için cevap 60 yıl boyunca bilinmiyordu. Çevrimiçi, gönüllü bir ekip 2024'te cevabın 47.176.870 olduğunu gösterdi ve ispatı bilgisayarla doğrulanmış biçimde yayımladı.
Uzmanlar için
Radó'nun (1962) tanımladığı S(n) fonksiyonu hesaplanabilir değildir ve her hesaplanabilir fonksiyondan hızlı büyür. İspat, 181.385.789 adet beş durumlu makinenin her birinin ya durduğunu ya da hiç durmadığını gösteren "karar verici" algoritmalar ile kurulur. Tüm zincir Coq/Rocq ispat asistanında biçimselleştirilmiştir (Coq-BB5). Değer, Marxen ve Buntrock'un 1990'da bulduğu makineninkiyle aynıdır.
İddialar
- S(5) = 47.176.870'tir.[1]
Kanıtlar
Destekleyen
İspat Coq ispat asistanında makine tarafından denetlenmiştir.[1]
Karşı çıkan / sorgulayan
—
Bağlantılar
Kaynaklar
- Ön baskı (2025). Determination of the fifth Busy Beaver valuearXiv:2509.12337arşiv
Literatürde ara
Bu konudaki akademik yayınları başka dizinlerde de arayabilirsiniz:
Bu sayfayı kaynak göster
Athena katkıcıları. (2026). Beşinci Meşgul Kunduz sayısı BB(5). Athena: İnsanlığın bilgi ağacı. Erişim: 1 Kasım 2026, https://latifkedi.github.io/athena/d/bb5/
@misc{athena_bb5,
title = {Beşinci Meşgul Kunduz sayısı BB(5)},
author = {{Athena katkıcıları}},
year = {2026},
howpublished = {\url{https://latifkedi.github.io/athena/d/bb5/}},
note = {Athena: İnsanlığın bilgi ağacı. Erişim: 2026-11-01}
}Eklendi: 27 Eylül 2026 · Son değişiklik: 27 Eylül 2026 · Sayfa geçmişi