Can math.atan2 return INF?
On Thursday, June 30, 2016 at 1:55:18 PM UTC+5:30, Steven D'Aprano wrote:
> On Thursday 30 June 2016 12:13, Rustom Mody wrote:
> > In particular the question: "Are real numbers really real?" is where it
> > starts off... http://blog.languager.org/2015/03/cs-history-0.html
> The pre-history of what later became computer science is very interesting, but
> I fear that you are too focused on questions of "mysticism" and not enough on
> what those people actually did and said.
I?ve been preparing material for some classes on Theory of Computation (ToC)
Starting from the premise that in a way G?del is more primary to ToC than Turing
[And also been fan of G?del-Escher-Bach from my college days]
And came across this proof (by G?del!) that God exists <tickled> :