Mathematics are open source…

… and so should be the software used in theorem proving and similar stuff! At least according to some mathematicians (and some of them Field medalists).

I can’t resist to make the following extrapolation: should it not be the same (even if to a lesser extent) in teaching?  After all, students could on occasions learn quite a lot from looking at source code. Now all we need is someone to go tell that to Portuguese politicians…

Os comentários estão fechados.