“To arrive at the totality of integers involves a jump. Overviewing it presupposes an infinite intuition. What is given is a psychological analysis. The point is whether it produces objective conviction.”
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.