All Questions

intuitionistic logic ~ programming natural deduction ~ lambda-calculus Hilbert system ~ combinatory logic {S, K} Gentzen system=sequent calculus ~ ? What would you write in place of the question ...

I have twice heard it attributed to Dana Scott that he said something to the effect that the consistency of the lambda-calculus was an accident. Does anyone have a reasonable-sounding source for this?...