Üç Renkle Oynanan Oyun Evrene Neden Sığmıyor?
LAYER 0
0:00 / 0:00
Üç Renkle Oynanan Oyun Evrene Neden Sığmıyor?
44 просмотра · 2 нед. назад
LAYER 0
108 подписчиков
44 просмотра · 2 нед. назад
Graham sayısı uzun süre "hayal edilebilecek en büyük sayı" diye anıldı. Ama basit bir ağaç oyunundan doğan TREE(3)'ün yanında Graham pratikte sıfır kalıyor. Üstelik TREE(3) sonsuz değil: gerçek, sonlu bir tam sayı.
NUMBERS serisinin ilk bölümünde önce büyük sayıların merdivenine çıkıyoruz: toplama, çarpma, üs ve üs kuleleri. Sonra merdivenin dışına, ağaç oyununa geçiyoruz: TREE(1) = 1, TREE(2) = 3 ve üçüncü renkle gelen patlama. Kruskal ağaç teoreminin bu oyunu neden bitmeye zorladığını, Harvey Friedman'ın da bu sonluluğun neden daha güçlü bir matematik gerektirdiğini nasıl gösterdiğini anlatıyoruz.
00:00 Evrene sığmayan sayı
00:52 Yeni seri: Sayılar
01:06 TREE(3) sonludur
01:52 "Büyük" ne demek?
02:39 Ağaç oyunu ve iki kural
03:28 TREE(1), TREE(2), sonra patlama
04:15 Oyun neden mutlaka biter?
05:04 Görünmeyen katman: Harvey Friedman
06:00 Graham ile TREE(3)
06:34 Kapanış ve sıradaki sayı
Not: "Graham, TREE(3) yanında sıfır" ifadesi bir benzetmedir; doğrusu "kıyaslanamayacak kadar küçük"tür. Friedman'ın sonucu sadeleştirildi: Kruskal ağaç teoreminin ATR₀ adlı mantık sisteminde kanıtlanamadığını gösterdi. Videoda Graham ve TREE okunuşları Türkçe telaffuza göre seslendirildi.
Kaynaklar:
Wikipedia — Kruskal's tree theorem: https://en.wikipedia.org/wiki/Kruskal...
MacTutor — Joseph Kruskal: https://mathshistory.st-andrews.ac.uk...
W. Gasarch (UMD) — Kruskal ağaç teoremi notu: https://www.cs.umd.edu/users/gasarch/...
Numberphile — The Enormous TREE(3): https://www.numberphile.com/videos/th...
Wikipedia — Graham's number: https://en.wikipedia.org/wiki/Graham%...
Konu seçimi, araştırma ve senaryo doğrulaması: elektrik dağıtım sektöründe 17 yıl sahada çalışmış bir elektrik mühendisi. Seslendirme ve görseller yapay zekâ ile üretilmiştir; görüntüler temsilî canlandırmalardır.
Gördüğün şey yalnızca yüzey. Burası LAYER 0.
#matematik #sayılar #LAYER0