Уильям МакКьюн
 | Вы можете помочь дополнить эту статью текстом, переведенным из соответствующей статьи на немецком языке . (март 2024 г.) Нажмите [показать], чтобы просмотреть важные инструкции по переводу. |
Уильям Уокер МакКьюн | |
|---|---|
| Рожденный | 17 декабря 1953 г. |
| Умер | 2 мая 2011 г. (57 лет) |
| Национальность | Американский |
| Известный | Выдра , Мейс4 , Прувер9 , Гипотеза Роббинса |
| Научная карьера | |
| Поля | Компьютерные технологии |
| Учреждения | Университет Нью-Мексико |
Уильям Уокер МакКьюн (17 декабря 1953 — 2 мая 2011) — американский учёный-компьютерщик и логик, работавший в области автоматизированного рассуждения , алгебры , логики и формальных методов .
Биография
[ редактировать ]Он был наиболее известен разработкой автоматизированных систем рассуждений Otter , Prover9 и Mace4 , а также автоматизированным доказательством гипотезы Роббинса с использованием средства доказательства теорем EQP .
В 2000 году МакКьюн получил премию Эрбрана за выдающийся вклад в автоматизированное мышление . [1] В 2013 году книга «Автоматическое мышление и математика: очерки памяти Уильяма МакКьюна» . в его честь была опубликована [2]
Ссылки
[ редактировать ]- ^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . КЕЙД Инк . Проверено 12 ноября 2018 г.
- ^ Боначина, Мария Паола; Стикель, Марк, ред. (2013). Автоматизированное мышление и математика - очерки памяти Уильяма В. МакКьюна . ЛНАИ. Том. 7788. Спрингер. дои : 10.1007/978-3-642-36675-8 . ISBN 978-3-642-36674-1 . S2CID 39308241 .
