Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Майкл Детлефсен
Майкл Детлефсен (1948 - 2019) .jpg
Родившийся( 1948-10-20 )20 октября 1948 г.
Скоттсблафф , Небраска , США
Умер21 октября 2019 г. (2019-10-21)(71 год)
Род занятийФилософ
Академическое образование
Образование1971 год, бакалавриат , Колледж Уитона , доктор философии 1976 года , Университет Джона Хопкинса
Академическая работа
УчрежденияУниверситет Нотр-Дам

Майкл Детлефсен (20 октября 1948 - 21 октября 2019) был американским философом, профессором философии МакМэхона-Хэнка в Университете Нотр-Дам . Его областями особых интересов были логика , история математики , философия математики и эпистемология . [1] [2]

Биография [ править ]

Майкл «Мик» Детлефсен родился 20 октября 1948 года в Скоттсблаффе , Небраска , США [3].

Он предпринял студенческие исследования в Уитон Колледж , Иллинойс , получение AB в 1971 г. [3] [4] Затем он продолжил аспирантуру в Университете Джона Хопкинса , штат Мэриленд , получив его степень доктора философии в 1976 г. [3] [4]

Детлефсен начал свою академическую карьеру в качестве ассистента, а затем адъюнкт-профессора в Университете Миннесоты в Дулуте в 1975 году. [3] Он оставался там до 1983 года, но также занимал должность приглашенного исследователя в Университете Сплита , Хорватия, с 1981 по 1982 год. [4] Он начал преподавать в Нотр-Дам в качестве приглашенного адъюнкт-профессора в 1983 году и стал там адъюнкт-профессором в 1984 году. [3] [4] Он был назначен профессором в 1989 году и назначен Мак-Магоном. Хэнк, профессор философии в 2008 г. [3]

Он был приглашенным профессором в Университете Сплита (1981–1982), Университете Констанца (1987–1988, 1994) и в Парижском университете Дидро (2007). [4] Он держал старший Chaire d'совершенства с Agence Nationale - де - ла - Recherche (ANR) во Франции с 2007 по 2011 год он был в прошлом президент философии математики Ассоциации (PMA).

Научная работа [ править ]

Детлефсен написал ряд работ по основополагающим идеям немецкого математика Давида Гильберта и других основных мыслителей девятнадцатого и двадцатого веков, включая Бернарда Больцано , Л.Е. Брауэра , Алонзо Черча , Ричарда Дедекинда , Готтлоба Фреге , Курта Гёделя , Морица Паша , Анри Пуанкаре. и Бертран Рассел .

Он провел исследовательские стипендии от ряда фондов , включая НР , в Фонд Фулбрайта , в Гумбольдта Stiftung , в Национальный фонд гуманитарных наук и Международных научно - исследовательской и биржи.

С 1985 года он был редактором или соредактором журнала Notre Dame Journal of Formal Logic . Он был соредактором с Анандом Пиллэй. [5] Он также был членом редакционных коллегий Philosophia Mathematica и Journal of Universal Computer Science .

Детлефсен был предметным редактором статей по истории и философии логики и математики для Философской энциклопедии Рутледжа . [6]

Он также организовал и руководил ежегодным Midwest PhilMath Workshop (MWPMW) с 2001 года и ежегодным PhilMath Intersem (совместно спонсируемым Университетом Нотр-Дам и Парижским университетом Дидро) с 2010 года.

Библиография [ править ]

Книги, автор [ править ]

  • Программа Гильберта: Очерк математического инструментализма , т. 182 библиотеки Synthese, D. Reidel Publishing Co. , 1986, ISBN  978-94-015-7731-1

Выберите статьи / главы книги [ править ]

  • «Абстракция, аксиоматизация и строгость: Паш и Гильберт» в книге Хилари Патнэм по логике и математике, Г. Хеллман и Р. Кук (ред.), 161–178, Springer, 2018
  • «О мотивах теории доказательств», в Х. Вансинге (ред.), Даг Правиц о доказательствах и значении , 137–164, выдающийся вклад в логику, Springer, 2015 г.
  • «Антиформалистические идеи Генцена », в «Столетие Генцена: в поисках последовательности» , М. Ратьен и Р. Кале (ред.), 25–44, Springer, 2015
  • «Двойственность, эпистемическая эффективность и согласованность», в Дж. Линке (ред.), Формализм и за его пределами , Логос, Де Грюйтер, 1-24, 2014
  • «Полнота и концы аксиоматизации», в J. Kennedy (ed.), Interpreting Gödel , 59–77, Cambridge University Press, 2014
  • "Свобода и последовательность", в: Дж. Брендл, Р. Дауни, Р. Голдблатт и Б. Ким (ред.), Труды 12-й Азиатской конференции по логике , 89-111, World Scientific, 2013
  • «Чистота методов» , с Эндрю Арана, Philosophers 'Imprint v. 11, № 2 (2011)

Дополнительные публикации перечислены на PhilPapers . [7]

Ссылки [ править ]

  1. ^ «In memoriam: Мик Детлефсен // Философский факультет // Университет Нотр-Дам» . Кафедра философии . Проверено 23 октября 2019 .
  2. ^ "ДЕТЛЕФСЕН Майкл | IHPST" . ihpst.cnrs.fr (на французском языке) . Проверено 22 октября 2019 .
  3. ^ Б с д е е Сейр, Кеннет М. (2014-04-03). Философские приключения в Нотр-Даме . Университет Нотр-Дам Пресс. ISBN 9780268092856. Майкл («Мик») Детлефсен родился 20 октября 1948 года в Скотсблаффе, Небраска ...
  4. ^ a b c d e Curriculum Vitae Майкл Детлефсен
  5. ^ "Нотр-Дам Журнал формальной логики" . Издательство Университета Дьюка . Проверено 12 мая 2018 .
  6. ^ Профиль в Фонде Джона Темплтона (Архивировано из оригинального архива, Архивировано 10 июля2009 г. на Wayback Machine 24 октября 2013 г.)
  7. ^ «Майкл Детлефсен (Университет Нотр-Дам): публикации - PhilPeople» . philpeople.org . Проверено 23 октября 2019 .

Внешние ссылки [ править ]

  • Веб-страницы ведомств