"In teoria, non c'è differenza tra teoria e pratica. Ma, in pratica, c'è."

Johannes Lambertus Adriana van de Snepscheut (12 Settembre 1953 – 23 Febbraio 1994) fu un informatico ed insegnante. Fu studente di Martin Rem e Edsger Dijkstra. Al momento della sua morte era responsabile del dipartimento di informatica del California Institute of Technology., e stava scrivendo un articolo per la dimostrazione di un teorema chiamato "Proxac". Durante le prime ore del 23 febbraio 1994, van de Snepscheut aggredì la moglie mentre stava dormendo, Terre, con un'ascia. Diede fuoco alla sua casa, and morì bruciato. Terre i suoi tre figli riuscirono a fuggire dalla casa in fiamme.