As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than
an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical
abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that
proofs and programs are the same thing is a story that spans a century, a chase with as many twists and turns as a thriller.
At the end of the story is a new principle for designing programming languages that will guide computers into the 21st
Thanks to Tom Moertel on the Haskell mailing list
Posted to general by andrew cooke on 5/29/01; 10:01:51 AM