David Wolpert Proved Absence of Biblical God

https://plus.maths.org/content/inferring-limits-reality

basically, David proved, that there can't be two gods, both having free will to influence the universe anyway they want. That means, the biblical God is not all powerful, because he cannot create another God as powerful as himself. So if there is God, he will be very limited in what he can do and know.

>>12

Reminds of the paradox in set theory with the set that includes all sets that don't include itself

Russell's paradox

mathematicians had to introduce classes

Universes?

>>13
In some type theories we have a hierarchy of types, like so:
\(Nat : Type_0
Type_0 : Type_1
...
Type_n : Type_{n + 1}\)