Перейти к навигации Перейти к поиску
Уильям Элвин Ховард (родился в 1926 г.) - теоретик доказательства, наиболее известный своей работой, демонстрирующей формальное сходство между интуиционистской логикой и просто типизированным лямбда-исчислением , которое стало известно как соответствие Карри – Ховарда . Он также принимал активное участие в теории ординалов теории доказательства . Он получил докторскую степень. в Чикагском университете в 1956 году за диссертацию на тему «k-кратная рекурсия и хорошее упорядочение». [1] Он был учеником Сондерса Мак Лейна .
Порядковое Ховард (также известный как порядковый Bachmann-Говард) была названо в его честь.
Он был избран в 2018 году класса стипендиатов в Американском математическом обществе . [2]
Ссылки [ править ]
- ^ "Фонды: k-кратная рекурсия и упорядочение" . Каталог библиотеки Чикагского университета . Проверено 4 мая 2015 . CS1 maint: обескураженный параметр ( ссылка )
- ↑ 2018 Class of the Fellows of the AMS , American Mathematical Society , извлечено 03.11.2017. CS1 maint: обескураженный параметр ( ссылка )
Внешние ссылки [ править ]
- Запись для Уильяма Элвина Ховарда на проект « Математическая генеалогия» .
- Ховард, Вашингтон; Крейзель, Г. (сентябрь 1966 г.). «Трансфинитная индукция и стержневая индукция нулевого и единичного типов и роль непрерывности в интуиционистском анализе». Журнал символической логики . Ассоциация символической логики. 3 (3): 325–358. DOI : 10.2307 / 2270450 . JSTOR 2270450 .