osdir.com


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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> :
https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof