Мелвин Фиттинг - Melvin Fitting - Wikipedia

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

Мелвин Фиттинг (родился 24 января 1942 г.) логик с особыми интересами в философская логика и таблица системы доказательства.[а] Он был профессором в Городской университет Нью-Йорка, Леман Колледж и Центр выпускников.[1]:723–724 с 1968 по 2013 год. Центр выпускников он работал на факультетах компьютерных наук, философии и математики, а в Леман-колледже он работал на факультете математики и компьютерных наук. Он теперь профессор заслуженный.

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

В июне 2012 года Мелвин Фиттинг получил Премия Herbrand CADE, за выдающийся вклад в автоматический вычет.[b]

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

Примечания

  1. ^ "Отчет Google Scholar Citations для Мелвина Фиттинга".
  2. ^ Ведущий исследователь математики и компьютерных наук получил престижную награду

Рекомендации

  1. ^ Жан-Луи Лассез; Гордон Плоткин, ред. (1991). Вычислительная логика - Очерки в честь Алана Робинсона. Кембридж / Массачусетс: MIT Press. ISBN  978-0-262-12156-9.

внешняя ссылка