It seems that everyone found a snipped that resonated with them. Here's mine: "1975 was about the time that the Swedish logician Per Martin-Löf convinced himsel

It seems that everyone found a snipped that resonated with them. Here's mine: "1975 was about the time that the Swedish logician Per Martin-Löf convinced himself of the fact that a well documented program was an object logically isomorphic with a constructive mathematical proof. ". So much for code being its own documentation (which I suspect is an ideology promoted by arrogance).