On Dec 14, 10:15 pm, Eelco <hoogendoorn.ee...@gmail.com> wrote: > 'Kindof' off-topic, but what the hell :).
<deja-vu> We keep having these debates -- so I wonder how off-topic it is... And so do famous CSists: http://research.microsoft.com/en-us/um/people/gurevich/opera/123.pdf </deja-vu> : : > > Again, you are completely mis-representing the situation. In my > > experience, most mathematicians (I'm not talking about undergraduate > > students here) do not see the axioms are the root of the mathematics > > that they do. Formal systems are just one way to explore mathematics. > > Of course they can in some cases be very useful and enlightening. > > Its your word versus mine I suppose. Some older discussions: http://groups.google.com/group/comp.lang.python/browse_thread/thread/46435c36f3a13621/896579b757126243?lnk=gst&q=rusi+steven+platonism#896579b757126243 http://groups.google.com/group/comp.lang.python/browse_thread/thread/d36dcd2e2e175d1e/45dd596bc050ac2d?lnk=gst&q=rusi+steven+platonism#45dd596bc050ac2d -- http://mail.python.org/mailman/listinfo/python-list