Людибиографии, истории, факты, фотографии

Дана Стюарт Скотт

   /   

Dana Stewart Scott

   /
             
Фотография Дана Стюарт Скотт (photo Dana Stewart Scott)
   

День рождения: 11.10.1932 года
Возраст: 85 лет

Гражданство: США

Биография

Американский математик

Американский математик, известный работами в области в области математической логики и информатики.

VK Facebook Mailru Odnoklassniki Twitter Twitter Twitter Print

06.03.2012

Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков.

Дана Стюарт Скотт фотография
Дана Стюарт Скотт фотография

Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений. Им была разработана модель бестипового λ-исчисления, для чего было введена специальная топология (позднее названная его именем), вначале на полных решётках, и впоследствии обобщенная до полных частично упорядоченных множеств. В рамках этой модели развил теорию и модели вычислений, разработал принципы денотационной семантики языков программирования, углубил понятие о вычислимости.

Реклама:

По состоянию на 2012 год работает и проживает в Беркли, Калифорния.




Ваш комментарий (*):
Я не робот...

Лучшие недели


Заложил основы теории дифракции рентгеновских лучей
Посетило:347
Чарльз Дарвин
Михаил Буяновский
Посетило:956
Михаил Буяновский
Катерина Гечмен-Вальдек
Посетило:537
Катерина Гечмен-Вальдек

Добавьте свою новость

Здесь
Администрация проекта admin @ peoples.ru
history