dbo:abstract
|
- ويليام آلفين هوارد (بالإنجليزية: William Alvin Howard) هو رياضياتي أمريكي، ولد في 1926. (ar)
- 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. (de)
- William Alvin Howard (né en 1926) est un logicien américain. (fr)
- 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. (en)
- 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. (pt)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2143 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- ويليام آلفين هوارد (بالإنجليزية: William Alvin Howard) هو رياضياتي أمريكي، ولد في 1926. (ar)
- William Alvin Howard (né en 1926) est un logicien américain. (fr)
- 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. (pt)
- 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. (de)
- 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. (en)
|
rdfs:label
|
- William Alvin Howard (en)
- ويليام آلفين هوارد (ar)
- William Alvin Howard (de)
- William Alvin Howard (fr)
- William Alvin Howard (pt)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralStudent
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:doctoralStudents
of | |
is foaf:primaryTopic
of | |