Дэвид Макинсон - David Makinson
Дэвид Клемент Макинсон (родилась 27 августа 1941 г.), Австралийский математический логик живущий в Лондон, Англия.
Карьера
Макинсон начал свое обучение в Сиднейский университет в 1958 г. и был сотрудником Либертарианец Общество и Сидней Пуш. Он является приглашенным профессором в Лондонская школа экономики, Лондонский университет, и ассоциированный член Centre de Recherche en Epistémologie Appliquée (CREA), École Polytechnique, Париж. Занимал профессорские должности в Королевский колледж Лондона, Лондонский университет и в Американский университет Бейрута, Ливан. С 1980 по 2001 год работал в ЮНЕСКО, Париж.
Взносы
Дэвид Макинсон высоко ценится за его работу над пересмотр убеждений, неопределенные рассуждения, и модальная логика. Во время учебы в Оксфордский университет (Вустерский колледж ) за его Д. Фил под присмотром Майкл Даммит, он определил предисловие парадокс. В целях ревизии он создал Отчет AGM об изменении теории с Карлос Альчуррон и Питер Гарденфорс. В модальной логике и др. неклассическая логика, он показал, как установить полнота результаты путем адаптации метода максимальное согласованное множество. В 1969 году Макинсон открыл первый простой и естественный логика высказываний не хватает конечное свойство модели. Вместе с Леон ван дер Торре он разработал логика ввода / вывода.
внешняя ссылка
- Сайт Дэвида Макинсона
- CREA, Политехническая школа, Париж
