“On ne peut pas aller de l’informel au formel par des moyens formels.”
Epigrams on Programming, Alan J. Perlis, SIGPLAN Notices, 17, 9, septembre 1982, 8, 0362-1340, en, Philippe Guglielmetti, Johann Dréo, http://doi.acm.org/10.1145/947955.1083808
Philosophie