5
Herhangi bir algoritma tarafından yazılamayan bir sayının varlığını nasıl kanıtlayabilirim?
Sorun var: Sonsuz uzun süre çalışan ve bu sayının ondalık basamaklarını yazan hiçbir programın bulunmadığı gerçek bir sayı olduğunu gösterin. Sanırım bunu Durma sorununa indirgeyerek çözülebilir, ama bunu nasıl yapacağım hakkında hiçbir fikrim yok. Ayrıca daha fazla uygulama için benzer sorunların bağlantılarını takdir ediyorum.