Modern bilgisayar biliminin temel taşları yeniden değerlendiriliyor. Yeni bir araştırma, Alan Turing'in çığır açan katkılarının aslında Georg Cantor'un küme teorisi ve matematik temelleri alanındaki öncül çalışmalarına dayandığını gösteriyor.
Araştırmacılar, Turing makineleriyle çözülemeyen problemler için yenilikçi bir yaklaşım sunuyor. Geleneksel olarak bu problemler sadece 'çözülebilir' ya da 'çözülemez' olarak ikili sınıflandırılırken, yeni önerilen yöntem problemlerin 'kararsızlık derecesini' ölçmeyi hedefliyor. Bu ölçüm, giriş verilerinin olasılık dağılımına dayanarak, kaç tane örneğin kararsız kaç tanesinin ise kararlı olduğunu belirlemeye odaklanıyor.
Çalışmada ayrıca Turing'in sonsuz mantık ve Oracle makineleri konusundaki araştırmalarının, süper-Turing hesaplama modelleri sınıfına genişletilmesi öneriliyor. Bu yaklaşım, mevcut hesaplama sınırlarını aşan yeni teorik çerçeveler oluşturma potansiyeli taşıyor.
Araştırmanın en dikkat çekici yanlarından biri, Turing makineleriyle çözülemeyen problemler için üç yeni karmaşıklık sınıfı tanımlaması. U-complete (Evrensel tam), D-complete (Köşegenleştirme tam) olarak adlandırılan bu sınıflar, çözülemez problemleri sistematik olarak kategorize etme olanağı sunuyor.