William Alvin Howard - William Alvin Howard
William Alvin Howard (narozen 1926) je a teoretik důkazů nejlépe známý pro svou práci prokazující formální podobnost mezi intuicionistická logika a jednoduše zadaný lambda kalkul který se stal známým jako Curry – Howardova korespondence. Byl také aktivní v teorii ordinálni důkazní teoretici. Zasloužil si Ph.D. na University of Chicago v roce 1956 za disertační práci s názvem „K-násobná rekurze a řádné uspořádání“.[1] Byl studentem Saunders Mac Lane.
The Howard řadový (také známý jako Bachmann – Howard ordinal) byl pojmenován po něm.
Byl zvolen do třídy 2018 kolegové z Americká matematická společnost.[2]
Reference
- ^ „Jednotky: rekurze skládání k a řádné řazení“. Katalog knihovny University of Chicago. Citováno 2015-05-04.
- ^ 2018 Třída členů AMS, Americká matematická společnost, vyvoláno 2017-11-03
externí odkazy
- Vstup pro William Alvin Howard na Matematický genealogický projekt.
- Howard, W. A .; Kreisel, G. (září 1966). „Transfinitní indukce a indukce sloupců typů nula a jedna a role kontinuity v intuitivní analýze“. The Journal of Symbolic Logic. Sdružení pro symbolickou logiku. 3 (3): 325–358. doi:10.2307/2270450. JSTOR 2270450.
   | Tento článek o americkém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |