Examples
Life
Aristotle vs. Galileo
France vs. Britain
Descartes vs. Hume
Roman law vs. Anglo-Saxon law
Software (Wegner)
Prolog vs. Lisp
Algol vs. Pascal
Dijkstra vs. Knuth
Proving programs vs. testing programs
Previous slide
Next slide
Back to first slide
View graphic version