Мелвин Фиттинг

Мелвин Фиттинг
Рожденный	( 1942-01-24 ) 24 января 1942 г.
Альма-матер	Политехнический институт Ренсселера Университет Ешива
Награды	Премия Herbrand от CADE , июнь 2012 г.
Научная карьера
Поля	Математика, философия, информатика
Учреждения	Леман Колледж Высший центр CUNY
Докторантура	Раймонд Смалльян

Мелвин Фиттинг (родился 24 января 1942 г.) — логик , специализирующийся на философской логике и табличных доказательств. системах С 1968 по 2013 год он был профессором Леман-колледжа и аспирантуры Городского университета Нью-Йорка . В аспирантуре он работал на факультетах информатики, философии и математики, а в Леман-колледже — на факультете математики и информатики. Сейчас он почетный профессор .

Фиттинг родился в Трое, Нью-Йорк . Его степень бакалавра получена в Политехническом институте Ренсселера , а степень доктора — в Университете Йешива , оба по математике. Руководителем его диссертации был Раймонд Смалльян .

В июне 2012 года Мелвин Фиттинг был удостоен премии Эрбрана на Конференции по автоматизированному дедукции за выдающийся вклад в автоматизированный дедуктивный процесс .

В общих чертах мотивацию большей части работ Мелвина Фиттинга можно сформулировать следующим образом. Есть много логики. Наши принципы рассуждения различаются в зависимости от контекста и предмета. Множественность — одно из достоинств современной формальной логики. Общей нитью, связывающей логику, является забота о том, что можно сказать (синтаксис), что это означает (семантика) и отношениях между ними. Было показано, что философская позиция, которая может быть воплощена в формальной логике, является последовательной, а не правильной. Логика — это инструмент, а не мастер, но пользоваться ею приятно.

Ссылки

• Фиттинг, Мелвин (1996) [1990]. Логика первого порядка и автоматическое доказательство теорем (2-е изд.). Нью-Йорк: Спрингер. дои : 10.1007/978-1-4612-2360-3 . ISBN  978-1-4612-7515-2 .
• Лассез, Жан-Луи; Плоткин, Гордон (1991). Вычислительная логика — Очерки в честь Алана Робинсона . Кембридж, Массачусетс: MIT Press. ISBN  978-0-262-12156-9 .

Внешние ссылки

• Мелвин Фиттинг , официальная домашняя страница
• Аспирантура CUNY , страница факультета
• Проект математической генеалогии