“Your discovery of the contradiction caused me the greatest surprise and, I would almost say, consternation, since it has shaken the basis on which I intended to build my arithmetic.... It is all the more serious since, with the loss of my rule V, not only the foundations of my arithmetic, but also the sole possible foundations of arithmetic seem to vanish.”
Linear logic: 2007-2008, spring semester
For information about this course in general (not just for this specific semester), visit its page:
Λ07Ο. Linear logic.