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ç.