Chaitin sabiti, hesaplamanın rastgele çekirdeğini ortaya koyuyor

Matematik
Chaitin sabiti, hesaplamanın rastgele çekirdeğini ortaya koyuyor

Chaitin sabiti, duran program olasılığının bir ölçüsüdür. Hesaplama teorisindeki durdurma probleminin çözülemezliğinin altında yatan derin rastgeleliği temsil eder.

Alan Turing, 1936'da hiçbir algoritmanın bir bilgisayar programının ne zaman duracağını kesin olarak tahmin edemeyeceğini kanıtladı. Bu "durdurma problemi" temelden çözülemezdir. Onlarca yıl sonra, matematikçi Gregory Chaitin, rastgele oluşturulan bir programın durma olasılığını temsil eden Ω (Omega) sabitini tanıttı.

Bu hikayenin devamı uygulamada — okumaya devam etmek için aç.

Uygulamada Okumaya Devam Et
1 paragraf daha · ve 3 soruluk bir test
Uygulamada Aç
X'te Paylaş WhatsApp

Tam deneyimi yaşa

Günlük Bilgi'yi indir