I find the time-dependent version much more interesting: Let G:t∈ℝ⁺->{0,1} be the 1 if God exists at time t and 0 otherwise. EDIT: And of course this starts g

I find the time-dependent version much more interesting: Let G:t∈ℝ⁺->{0,1} be the 1 if God exists at time t and 0 otherwise. EDIT: And of course this starts getting even more interesting when you analyze G in a non-inertial reference frame.