Talimatlarını değiştirebilecek keyfi bir bilgisayar programımız varsa, bu programı talimatlarını değiştiremeyen bir programla simüle etmek mümkün müdür?
Düzenle:
Stackexchange'te yeniyim, bu yüzden burada YENİ bir soru sorma iznim olup olmadığından emin değilim, ama işte gidiyor: Tamam, mümkün olduğunun kanıtı, gerçekten gösterdiğiniz gibi gerçekten basit. Şimdi merak ediyorum: Girdi-çıktı eşdeğeri en verimli kendi kendine modifiye olmayan algoritmaya karşı, sorunu çözmek için en verimli kendi kendini değiştiren algoritmayı kullanmanın daha verimli (ve ne ölçüde) olduğu problemler var mı?