Bilim zordur, çünkü otomatik olarak gerçek dünyanın farklı niteliklerini birbiriyle bağdaştıran örüntüler bulma imkânı yoktur. Bu kuşkunun bir teoremle dile getirilebilmesi ilginçtir. Bu teorem 1967 yılında E.M. Gold tarafından ispatlanmıştır (Information and Control, 10, 447). Eğer bilgisayar ya da başka biçimde insan veya yapay akıl gibi, mekanikle ilgili bir akıl varsa, o zaman onun girdisi ile çıktısını birbirine bağlayan ve onun keşfedemeyeceği bir kural vardır. Yani onun girdi ve çıktısını birbirine bağlayan kurallar için sistematik bir tarife yoktur. K. Svozil, Randomness and Undecidability in Physics (Fizikte Rasgele Olma ve Saptanabilir Olmama), World Scientific, Singapore (1993) kitabının 10. bölümünde, kuantum mekaniğinin sahip olduğu türden bir tamamlayıcılık özelliğine sahip olan ilginç bir sonlu otomatik makine örneği vermiştir. Bu kitap matematiksel saptanabilir olmama ile fizik arasında yatan astarın araştırılması için en önemli kaynaktır. Ayrıca bkz.: J.F. Traub, Formal sistemlerdeki olumsuz sonuçlar bilimsel bilgiyi sınırlıyor mu? Complexity (Karmaşıklık), 3, (1), 29 (1997).