Дейна Скот: Разлика между версии

Няма промяна в размера ,  преди 8 години
м
обращение
Редакция без резюме
м (обращение)
През 1960 г. Скот се завръща в Калифорнийския университет в Бъркли и става асистент по математика, като се занимава с класически въпроси в областта на математическата логика, особено теорията на множествата и теоретичния модел на Тарски.
 
Джон Лемън и Скот започват работа по учебник по модална логика, която прекъсва заради смъртта на Лемън през 1966 г. Скот разпространява незавършената монография сред свои колеги, като по този начин въвежда в обръщениеобращение редица важни техники в семантиката на моделната теория.
 
=== Станфорд, Амстердам и Принстън, 1963-1972 ===