logic timeline

[juan_gandhi]

• Dana S. Scott, A Timeline for Logic, λ-Calculus, and Programming Language Theory

Comments

[dmm]

Ему было 80 лет, когда эти слайды были сделаны (8 лет назад).

Когда ему было 60, у него ещё было всё очень здорово с визуальной эстетикой...