Can math.atan2 return INF?

[Rustom Mody]

On Monday, June 27, 2016 at 7:42:26 PM UTC+5:30, Marko Rauhamaa wrote:
> Rustom Mody :
> 
> > On Monday, June 27, 2016 at 7:16:03 PM UTC+5:30, Marko Rauhamaa wrote:
> >> Georg Cantor would probably be with your colleague, but then, Georg
> >> Cantor was not a scientist.
> >
> > I'm mystified
> >
> > Earlier (I thought) you were on the Platonist = {Cantor, Hilbert...}
> > side
> > Now you sound like you are on the constructivist = {Kronecker, Brouwer
> > } side
> 
> I'm a formalist.

Well then formalism is semantics-free: What matters it if an argument is
theological or scientific as long as it is (internally) consistent?