What if Wikipedia allowed only true statements? For mathematics this is a real possibility. The world can collaborate on verified math in one place, in a common language. Educational tools based on formalized mathematics can be much more interactive and customizable. It's time to organize our most certain knowledge and put it to work.
[Video by Cameron Freer. Music by J. S. Bach, BWV 1079, performed by Timidity.]
Link to this comment:
All Comments (0)