Уильям Элвин Ховард - William Alvin Howard
Уильям Элвин Ховард (1926 г.р.) теоретик доказательств наиболее известен своими работами, демонстрирующими формальное сходство между интуиционистская логика и просто типизированное лямбда-исчисление который стал известен как Переписка Карри – Ховарда. Он также активно занимался теорией ординалы теории доказательств. Он заработал Кандидат наук. на Чикагский университет в 1956 г. за диссертацию на тему «k-кратная рекурсия и хорошее упорядочение».[1] Он был учеником Saunders Mac Lane.
В Ховард порядковый (также известный как ординал Бахмана-Ховарда) был назван в его честь.
Был избран в класс 2018 г. ребята из Американское математическое общество.[2]
Рекомендации
- ^ «Холдинги: k-кратная рекурсия и хороший порядок». Каталог библиотеки Чикагского университета. Получено 2015-05-04.
- ^ 2018 Класс стипендиатов AMS, Американское математическое общество, получено 2017-11-03
внешняя ссылка
- Запись на Уильям Элвин Ховард на Проект "Математическая генеалогия".
- Howard, W. A .; Крейзель, Г. (сентябрь 1966 г.). «Трансфинитная индукция и стержневая индукция нулевого и единичного типов и роль непрерывности в интуиционистском анализе». Журнал символической логики. Ассоциация символической логики. 3 (3): 325–358. Дои:10.2307/2270450. JSTOR 2270450.
   | Эта статья об американском математике заглушка. Вы можете помочь Википедии расширяя это. |