William Alvin Howard
http://dbpedia.org/resource/William_Alvin_Howard an entity of type: Thing
ويليام آلفين هوارد (بالإنجليزية: William Alvin Howard) هو رياضياتي أمريكي، ولد في 1926.
rdf:langString
William Alvin Howard (né en 1926) est un logicien américain.
rdf:langString
William Alvin Howard (1926) é um lógico matemático estadunidense. Howard obteve um doutorado em 1956 na Universidade de Chicago, orientado por Saunders Mac Lane e André Weil, com a tese k-fold recursion and well-ordering. Foi na década de 1960 professor da Universidade Estadual da Pensilvânia e depois da . É fellow da American Mathematical Society. Howard mostrou com Haskell Curry (em trabalhos desde a década de 1930) uma analogia (isomorfismo de Curry-Howard) entre lógica intuicionista e cálculo lambda.
rdf:langString
William Alvin Howard (* 1926) ist ein US-amerikanischer mathematischer Logiker. Howard promovierte 1956 an der University of Chicago bei Saunders MacLane und André Weil (k-fold recursion and well-ordering). Er war in den 1960er Jahren Professor an der Pennsylvania State University und danach an der University of Illinois at Chicago. Er ist Fellow der American Mathematical Society.
rdf:langString
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 his dissertation "k-fold recursion and well-ordering". He was a student of Saunders Mac Lane. The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him.
rdf:langString
rdf:langString
William Alvin Howard
rdf:langString
ويليام آلفين هوارد
rdf:langString
William Alvin Howard
rdf:langString
William Alvin Howard
rdf:langString
William Alvin Howard
xsd:integer
1978177
xsd:integer
1113972468
rdf:langString
ويليام آلفين هوارد (بالإنجليزية: William Alvin Howard) هو رياضياتي أمريكي، ولد في 1926.
rdf:langString
William Alvin Howard (* 1926) ist ein US-amerikanischer mathematischer Logiker. Howard promovierte 1956 an der University of Chicago bei Saunders MacLane und André Weil (k-fold recursion and well-ordering). Er war in den 1960er Jahren Professor an der Pennsylvania State University und danach an der University of Illinois at Chicago. Er ist Fellow der American Mathematical Society. Howard zeigte mit Haskell Curry (in Arbeiten, die bis auf die 1930er Jahre zurückgehen) eine Analogie (Curry-Howard-Isomorphismus) zwischen intuitionistischer Logik und Lambda-Kalkül. Er führte auch die nach ihm benannten Howard-Ordinalzahlen (oder Bachmann-Howard-Ordinalzahlen nach ihm und Heinz Bachmann) ein, die in der Beweistheorie definiert werden.
rdf:langString
William Alvin Howard (né en 1926) est un logicien américain.
rdf:langString
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 his dissertation "k-fold recursion and well-ordering". He was a student of Saunders Mac Lane. The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him. He was elected to the 2018 class of fellows of the American Mathematical Society.
rdf:langString
William Alvin Howard (1926) é um lógico matemático estadunidense. Howard obteve um doutorado em 1956 na Universidade de Chicago, orientado por Saunders Mac Lane e André Weil, com a tese k-fold recursion and well-ordering. Foi na década de 1960 professor da Universidade Estadual da Pensilvânia e depois da . É fellow da American Mathematical Society. Howard mostrou com Haskell Curry (em trabalhos desde a década de 1930) uma analogia (isomorfismo de Curry-Howard) entre lógica intuicionista e cálculo lambda.
xsd:nonNegativeInteger
2143