Войти
| Мелвин Фиттинг | |
|---|---|
| Родился | (1942-01-24) 24 января 1942 (возраст 78) |
| Alma mater | |
| Награды | Премия Хербранда от CADE, июнь 2012 |
| Научная карьера | |
| Области | Математика, философия, информатика |
| Учреждения | Городской университет Нью-Йорка |
| Докторант | Раймонд Смаллиан |
Мелвин Фиттинг (родился 24 января 1942 г.) - логик с особыми интересами философии. журнал ic и tableau системы проверки. Он был профессором Городского университета Нью-Йорка, Lehman College и Graduate Center. с 1968 по 2013 год. В аспирантуре он работал на факультетах компьютерных наук, философии и математики, а в Lehman College - на факультете математики и компьютерных наук. Сейчас он профессор заслуженный.
Фиттинг родился в Трое, Нью-Йорк. Он получил степень бакалавра в Политехническом институте Ренсселера и докторскую степень в Университете Иешива, оба по математике. Его научным руководителем был Рэймонд Смаллян.
. В июне 2012 года Мелвин Фиттинг был удостоен награды Herbrand Award от CADE за выдающийся вклад в автоматизированный вывод.
Слабая мотивация для большей части Мелвина. Кратко работу Фиттинга можно сформулировать следующим образом. Есть много логики. Наши принципы рассуждения различаются в зависимости от контекста и предмета. Множественность - одно из достоинств современной формальной логики. Общая логика связывания потока - это вопрос о том, что можно сказать (синтаксис), что это означает (семантика) и взаимоотношениях между ними. Философская позиция, которая может быть воплощена в формальной логике, оказалась последовательной, а не правильной. Логика - это инструмент, а не мастер, но им приятно пользоваться.
