Тази Скот Стюърт

Тази снимка Скот Стюарт (photo Dana Stewart Scott)

Dana Stewart Scott

  • Дата на раждане: 11.10.1932 г.
  • Възраст: 84 години
  • Националност: САЩ

Биография

Американски математик, известен с творби в областта на математическата логика и компютърни науки.

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

Направи голям принос за развитието на компютърните науки, които разработват математически теория облаци. Беше разработен модел бестипового λ-смятане, за които е въведена специална топология (по-късно наречена на неговото име), първо на пълни решетки, а след това обобщава до пълно частично осъжда комплекти. В рамките на този модел развива теорията и модели облаци, е разработил насоки денотационной семантика на езиците за програмиране, задълбочи концепцията за изчисленията.

Към края на 2012 година работи и живее в Бъркли, Калифорния.