Existing computer software raises interesting questions other than the fundamental. Spreadsheets have their own algebra which is for some than the traditional algebra. future?
Ang geometry, the oldest of the mathematics curricular in the western world, is also not immune. Geomaetry 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