Джон Майкл Данн
Джон Майкл Данн | |
|---|---|
| Рожденный | 19 июня 1941 г. Форт-Уэйн, Индиана , США |
| Умер | 5 апреля 2021 г. (79 лет) |
| Альма-матер | - Оберлинский колледж - Университет Питтсбурга |
| Известный | -Алгебраическая семантика для логики релевантности -4-значная семантика для следствия первой степени -Gaggles (обобщенная логика Галуа) -Семантика отрицания. -Теория доказательств, включая решение (совместно с К. Бимбо ) разрешимости проблемы с билетами. -Отношение квантовых вычислений к квантовой логике |
| Супруг | Сара Джейн Данн (м. 1964) |
| Дети | Джон Уильям Батчер Данн, Дженнифер Энн Данн |
| Награды | -Национальный стипендиат (1959-63). - Товарищ Эндрю Меллона (1964–65) - Научный сотрудник Вудро Вильсона (1965–66). -Старший научный сотрудник Фулбрайта (1975–76) - Член Американского совета научных обществ (1984–85). -Кто есть кто в Америке (1985) - Премия Techpoint Mira (2002 г.) -Кто есть кто в мире (2005) - Премия iSchools Bookends (2006 г.) -Сагамор из Вабаша (2007) - Член Американской академии искусств и наук (2010 г.). |
| Научная карьера | |
| Поля | - Логика - Информатика |
| Учреждения | - Государственный университет Уэйна - Университет Индианы в Блумингтоне |
| Докторантура | Нуэль Белнап |
| Докторанты | Каталин Бимбо |
| Веб-сайт | - Домашняя страница философии Университета Индианы Джона Майкла Данна - Домашняя страница Школы информатики, вычислительной техники и инженерии Университета Индианы Майкла Данна |
Дж. Майкл Данн (19 июня 1941 г. - 5 апреля 2021 г.) [1] [2] профессором философии Оскара Юинга был почетным , почетным профессором информатики и компьютерных наук, дважды был заведующим кафедрой философии, был исполнительным заместителем декана Колледжа искусств и наук и был деканом-основателем Школы информатики (ныне Школа Ладди). степень информатики, вычислительной техники и инженерии) в Университете Индианы .
Ранняя жизнь и образование
[ редактировать ]Данн родился в Форт-Уэйне, штат Индиана . Он учился в средней школе в Лафайете, штат Индиана работал в биологических лабораториях Purdue , где после школы и летом . Он был первым в своей семье, кто поступил в колледж.
Он получил степень бакалавра философии в Оберлинском колледже и степень доктора философии. Степень бакалавра философии (логика) в Питтсбургском университете , где он написал диссертацию « Алгебра интенсиональной логики». [3]
Карьера
[ редактировать ]Он преподавал в Государственном университете Уэйна и Йельском университете, а затем в 1969 году поступил в Университет Индианы в Блумингтоне , из которого ушел в 2007 году.
Он получил гранты от NSF , NEH , ACLS и был приглашенным научным сотрудником, в частности, в Австралийском национальном университете , Оксфордском университете и Мельбурнском университете . В 2014 году он был приглашенным профессором на докторской диссертации. альма-матер Питтсбургский университет . В 2002 году от имени Школы информатики он получил премию Techpoint (Индианская ассоциация информационных технологий) Мира за выдающийся вклад в образование в области информационных технологий. В 2007 году он был награжден медалью ректора Блумингтона Университета Индианы и был назначен сагамором Вабаша губернатором Индианы .
Он был членом Американской академии искусств и наук . Он был президентом Общества точной философии и членом исполнительного комитета Ассоциации символической логики . Он также был редактором «Журнала символической логики» и главным редактором «Журнала философской логики» . Он опубликовал шесть книг и более 100 статей, а также руководил или был соруководителем 17 докторских диссертаций. диссертации (философия, информатика, математика).
После выхода на пенсию он в течение десяти лет работал в совете директоров HealthLINC, региональной организации по обмену медицинской информацией, и был там президентом в течение трех лет. С 2010 года он был аффилирован с Институтом инфо-метрики Американского университета и был членом его консультативного совета (сопредседатель в 2017–2021 годах).
Работа
[ редактировать ]Исследования Данна сосредоточены на логике, основанной на информации, особенно на логике релевантности и других так называемых «субструктурных» логиках . У него есть алгебраический подход к ним под заголовком «теория стаи» (для обобщенной логики Галуа), который он развил в статьях, своей книге с Дж. Хардгри «Алгебраические методы в философской логике» (Оксфорд, 2001), [4] и книга с Каталин Бимбо « Обобщенная логика Галуа: реляционная семантика неклассических логических исчислений» . (Публикации CSLI, 2008). [5]
В качестве аспиранта он учился у двух крупнейших деятелей в области релевантной логики, Алана Росса Андерсона и Нуэля Белнапа . Он был соавтором их книги «Последствия: логика релевантности» и «Последствия, том. 1, [6] и полный соавтор с ними к Vol. 2. [7]
Он также работал над квантовой логикой и квантовыми вычислениями , субъективной вероятностью в контексте неполной и противоречивой информации, и вместе с Каталин Бимбо доказал разрешимость проблемы Ticket Entailment (проблема, открытая с 1960 года). [8] В 2016 году Данн был удостоен награды за книгу Дж. Майкла Данна об информационной логике под редакцией Каталин Бимбо, входящую в Springer серию «Выдающийся вклад в логику» . [9] [10]
Ссылки
[ редактировать ]- ^ «Джон Майкл «Майк» Данн, 79 лет» . Блумингтон Геральд Таймс . 9 апреля 2021. с. 2 . Проверено 9 апреля 2021 г.
- ^ Вайнберг, Джастин (7 апреля 2021 г.). «Дж. Майкл Данн (1941–2021)» . Ежедневный Ноус . Проверено 11 апреля 2021 г.
- ^ Данн, Джон Майкл (1966). Алгебра интенсиональной логики (кандидатская диссертация). Диссертация. Он был опубликован в 2019 году со вступительным эссе Каталин Бимбо как Том 2 из серии книг «Доктор философии по логике» , College Publications, Лондон.
- ^ Данн, Дж. Майкл (2001). Алгебраические методы в философской логике . Харградус, Гэри М. Оксфорд: Издательство Оксфордского университета. ISBN 0198531923 . OCLC 46240293 .
- ^ Бимбо, Каталин (2008). Обобщенная логика Галуа: реляционная семантика неклассических логических исчислений . Данн, Дж. Майкл. Стэнфорд, Калифорния: Публикации CSLI. ISBN 9781575865737 . OCLC 225876030 .
- ^ Росс., Андерсон, Алан (1975–1992). Следствие: Логика актуальности и необходимости Том. 1 . Белнап, Нуэль Д., Данн, Дж. Майкл. Принстон, Нью-Джерси: Издательство Принстонского университета. ISBN 0691071926 . ОСЛК 1530367 .
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Росс., Андерсон, Алан (1975–1992). Следствие: Логика актуальности и необходимости Том. 2 . Белнап, Нуэль Д., Данн, Дж. Майкл. Принстон, Нью-Джерси: Издательство Принстонского университета. ISBN 0691071926 . ОСЛК 1530367 .
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Данн, Дж. Майкл; Бимбо, Каталин (2012). «Новые вычисления последовательности для $R^{t}_{\to}$» . Журнал формальной логики Нотр-Дама . 53 (4): 491–509. дои : 10.1215/00294527-1722719 . ISSN 0029-4527 .
- ^ Ханссон, Свен Уве. Выдающийся вклад в логику . Спрингер.
- ^ Бимбо, Каталин, изд. (2016). Дж. Майкл Данн об информационной логике . Выдающийся вклад в логику. Международное издательство Спрингер. ISBN 978-3-319-29298-4 . OCLC 945975273 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
