Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
William Alvin Howard
English Wikipedia - The Free Encyclopedia
Download this dictionary
William Alvin Howard
William Alvin Howard
(born 1926) is a
proof theorist
best known for his work demonstrating formal similarity between
intuitionistic logic
and the
simply typed lambda calculus
that has come to be known as the
Curry–Howard correspondence
. He has also been active in the theory of proof-theoretic ordinals. He earned his
Ph.D.
at the
University of Chicago
in 1956 for a dissertation entitled "k-fold recursion and well-ordering". He was a student of
Saunders Mac Lane
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License