Аласдер Уркхарт - 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.

Биография шотландского академика заглушка. Вы можете помочь Википедии расширяя это.

Эта статья о математике из Великобритании заглушка. Вы можете помочь Википедии расширяя это.

Биография британского философа заглушка. Вы можете помочь Википедии расширяя это.