Скачать
Lambda Calculus Then and Now
Автор: Association for Computing Machinery (ACM)
Загружено: 2013-01-23
Просмотров: 9262
Описание:
Talk by ACM A.M. Turing Laureate Dana S. Scott during the ACM A.M. Turing Centenary Celebration, June, 2012.
Abstract:
A very fast development in the early 1930s, following Hilbert's codification of Mathematical Logic, led to the Incompleteness Theorems, Computable Functions, Undecidability Theorems, and the general formulation of recursive Function Theory. The so-called Lambda Calculus played a key role. The history of these developments will be traced, and the much later place of Lambda Calculus in Mathematics and Programming-Language Theory will be outlined.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
