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