Existing computer software raises interesting questions other than the fundamental. Spreadsheets have their own algebra which is for some than the traditional algebra. future?
And Geometry, the oldest of the mathematics curricular in the western world, is also not immune. Geometry drawing software such as CabriGeometrie and The Geometer's Sketchpad has such visual power that, if used without care, it can seem to obviate the need for proof