On Monday, December 3, 2012 5:14:25 AM UTC-8, WM wrote: > If God has mathematics of his own that needs to be done, let him do it > > himself. > > [Errett Bishop: "Foundations of constructive analysis", McGraw-Hill, > > New York, (1967) Introduction] > > > > Can He have a list of all real numbers?
How do you define a list?
> If not, can He store the real > > numbers in His Infinite Eternity or Eternal Infinity? - each number > > pinned down by a rational space-time-quadruple? - or quintuple or even > > centuple? If so, then He could also compute 2 + 2 = 8
I can compute that. It's 0, FALSE.
> and he could > > conclude that Cantor was right. It does not seem that He has > > mathematics of His own.