Matematiker David Wolpert fra Santa Fe Institute (USA) formaliserte matematisk umuligheten av et allvitende vesen. Dette ble kunngjort i en pressemelding på Phys.org.
Forskeren bruker konseptet "Inference Devices" - en enhet som er i stand til å skaffe informasjon om universet ved å observere nåværende prosesser, lagre dem i minnet og korrekt forutsi resultatet. En slik enhet kan være et overnaturlig vesen eller en forsker bevæpnet med en superdatamaskin med ubegrensede evner.
I henhold til formell logikk er en maskin i stand til å svare på et spørsmål om universets tilstand på et gitt tidspunkt, men både spørsmålet selv og metoden hvorpå svaret ble oppnådd, avhenger av universets tilstand. Med andre ord, universets lover legger begrensninger på hva en enhet kan vite. Det samme gjelder muligheten til å forutsi en fremtidig stat. I følge Volpert kan dette sees på som en utvidet analog av uttalelsen om at enhver forutsigelse av fremtiden ikke tar hensyn til påvirkningen fra selve prediksjonen på fremtiden.
Matematikeren demonstrerte at to "inferensmaskiner" med fri vilje og allvitenskap ikke kan eksistere i samme univers. For eksempel har to forskere - Bob og Alice - ubegrenset regnekraft. "Fri vilje" er i dette tilfellet definert som Bobs evne til å stille seg et spørsmål, uten å begrense de mulige spørsmålene Alice kan stille seg selv, og omvendt. Da vil en paradoksal situasjon oppstå når Bob ikke kan forutsi hva Alice vil mene hvis sistnevnte prøver å forutsi hva Bob ikke tenker. Wolpert kaller spøkefullt uttalelsen sin "bevis på monoteisme."
Volpert viser også at en og samme "inferensmaskin" til forskjellige tider kan sees på som to forskjellige "inferensmaskiner" som finnes i samme univers. I følge “beviset på monoteisme” er dette umulig, så et allvitende vesen med fri vilje kan bare eksistere på et bestemt tidspunkt.
