Greg Egan kurgusunda "Dark Integers" (aritmetikteki tutarsızlık etrafında teoremleri kanıtlayarak iki farklı matematikle iletişim kuran iki evren hakkında hikaye), sadece temel işlevlerini kullanarak genel amaçlı bilgisayar inşa etmenin mümkün olduğunu iddia ediyor paket anahtarlama (ve sağlama toplamı düzeltmesi, kesin olarak).
Prensipte bu mümkün müdür?
Güncelleme.
Soruyu daha kesin hale getirmek için:
Yönlendirici ağının üzerine genel amaçlı bir bilgisayar inşa etmenin mümkün olabileceği kesinlikle asgari özellik kümesi nedir?