I actually think that computers are very healthy for mathematicians in that regard. What's the use of a branch of mathematics whose functions don't take user-defined numbers/shapes as their domain??
But given a user-defined set of points and a bunch of topological transformations, I don't see why it shouldn't be possible to do point-set topology with a computer. Is there something I'm missing? Alec -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
