It is reasonable to hope that the relationship between computation and logic in the next century will be as fruitful as that between calculus and physics in the last. John McCarthy 1967

The assignment is up at the usual.

Updated: