Уильям Элвин Ховард

американский математик

Уильям Элвин Говард (родился в 1926 году) — теоретик доказательств, наиболее известный своей работой, демонстрирующей формальное сходство между интуиционистской логикой и просто типизированным лямбда-исчислением , которое стало известно как соответствие Карри–Говарда . Он также активно занимался теорией ординалов теории доказательств . Он получил докторскую степень в Чикагском университете в 1956 году за диссертацию «k-кратная рекурсия и хорошее упорядочение». ^[1] Он был учеником Сондерса Маклейна .

В его честь был назван ординал Говарда (также известный как ординал Бахмана–Говарда).

Он был первым, кто провел порядковый анализ интуиционистской теории индуктивных определений. ^{[2] с.27} ${\displaystyle \mathbf {ID} _{1}^{i}({\mathcal {O}})}$

Он был избран в состав Американского математического общества 2018 года . ^[3]

Ссылки

1. "Holdings: k-fold recursion and well-ordering". Каталог библиотеки Чикагского университета . Получено 2015-05-04 .
2. М. Ратьен, «Теория доказательств: от арифметики к теории множеств». Доступ 22 февраля 2024 г.
3. 2018 Класс членов AMS, Американского математического общества , получено 2017-11-03

Внешние ссылки

• Запись Уильяма Элвина Ховарда в проекте «Генеалогия математики» .
• Howard, WA; Kreisel, G. (сентябрь 1966 г.). «Трансфинитная индукция и индукция типа Zero и One, и роль непрерывности в интуиционистском анализе». Журнал символической логики . 3 (3). Ассоциация символической логики: 325–358. doi :10.2307/2270450. JSTOR  2270450. S2CID  5683782.