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?
--
https://mail.python.org/mailman/listinfo/python-list
