19
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