Аласдер Уркхарт - Alasdair Urquhart

Не путать с Алистер Уркхарт.

Аласдер Уркхарт в Ассоциация символической логики, Питтсбург, май 2004 г.

Аласдер Ян Фентон Уркхарт (/ˈæлəsdərˈɜːrkərт/; родился 20 декабря 1945 г.) - шотландский философ, заслуженный Профессор из Философия на Университет Торонто. Он внес вклад в сферу логика, особенно неклассическая логика. Одна из его идей - доказать неразрешимость из логика релевантности р. Он также опубликовал статьи в теоретическая информатика места, в основном на математическая логика темы отношение к информатике.

Уроженец Шотландии,^[1] Уркхарт получил MA в философии из Эдинбургский университет в 1967 г. и его кандидат наук от Питтсбургский университет в 1973 г. под руководством Алан Росс Андерсон и Нуэль Белнап. В настоящее время он является членом Совета Отдела логики, методологии и философии науки и техники Международный союз истории и философии науки и техники (2020–2023).^[2]

Избранные публикации

• с Николас Решер, Временная логика, Springer Verlag, Нью-Йорк и Вена, 1971 г.
• «Неразрешимость вовлечения и соответствующего следствия». Журнал символической логики 49(4): 1059–1073 (1984).
• с Стивен А. Кук, "Функциональные интерпретации возможно конструктивной арифметики", Анналы чистой и прикладной логики, 1993; предварительная версия на STOC '89
• "Сложность процедур принятия решений в релевантной логике II", Журнал символической логики, Volume 64, Issue 4 (1999), 1774–1802.

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

1. «Аласдер Уркхарт родился в Шотландии в 1945 году». Департамент компьютерных наук - Университет Торонто. Получено 2 апреля 2010.
2. «Сайт DLMPST: Совет 2020-2023». Получено 16 апреля 2020.

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

• Биографические данные (1998 г.)
• Публикации DBLP