Santa Fe Instituudi (USA) matemaatik David Wolpert vormistas matemaatiliselt kõiketeadva olendi võimatuse. Sellest teatati Phys.org-i pressiteates.
Teadlane kasutab mõistet "järeldatavad seadmed" - seade, mis suudab saada teavet Universumi kohta, jälgides praegusi protsesse, talletada neid mällu ja õigesti ennustada nende tulemust. Selliseks seadmeks võib olla üleloomulik olend või piiramatute võimalustega superarvutiga relvastatud teadlane.
Formaalse loogika järgi on masin võimeline vastama küsimusele Universumi seisundi kohta antud ajahetkel, kuid nii küsimus ise kui ka vastuse saamise viis sõltub Universumi enda olekust. Teisisõnu, universumi seadused seavad piiranguid seadme teadmisele. Sama kehtib ka võime kohta ennustada tuleviku olekut. Volperti sõnul võib seda vaadelda väite laiendatud analoogina, mille kohaselt igasugune tuleviku ennustamine ei arvesta ennustuse enda mõju tulevikule.
Matemaatik näitas, et kaks vaba tahte ja kõiketeadlikkusega "järeldamismasinat" ei saa samas universumis eksisteerida. Näiteks on kahel teadlasel - Bob ja Alice - piiramatu arvutusvõime. "Vaba tahe" on antud juhul määratletud kui Bobi võime esitada endale küsimus, piiramata võimalikke küsimusi, mida Alice võib endale esitada, ja vastupidi. Siis tekib paradoksaalne olukord, kui Bob ei suuda ennustada, mida Alice arvab, kui viimane üritab ennustada seda, mida Bob ei mõtle. Wolpert nimetab naljatledes oma väidet "monoteismi tõestuseks".
Wolpert näitab ka, et sama "järeldamismasinat" saab erinevatel aegadel vaadelda kui kahte erinevat "universumis" eksisteerivat "järelduse masinat". Monoteismi tõestuse kohaselt on see võimatu, nii et kõiketeadev vaba tahtega olend saab eksisteerida ainult teatud ajahetkel.
