Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/William_Alvin_Howard> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- William_Alvin_Howard abstract "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.The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him.".
- William_Alvin_Howard wikiPageExternalLink id.php?id=6461.
- William_Alvin_Howard wikiPageID "1978177".
- William_Alvin_Howard wikiPageLength "1688".
- William_Alvin_Howard wikiPageOutDegree "16".
- William_Alvin_Howard wikiPageRevisionID "705089863".
- William_Alvin_Howard wikiPageWikiLink Bachmann–Howard_ordinal.
- William_Alvin_Howard wikiPageWikiLink Category:1926_births.
- William_Alvin_Howard wikiPageWikiLink Category:20th-century_American_mathematicians.
- William_Alvin_Howard wikiPageWikiLink Category:21st-century_American_mathematicians.
- William_Alvin_Howard wikiPageWikiLink Category:Living_people.
- William_Alvin_Howard wikiPageWikiLink Category:Logicians.
- William_Alvin_Howard wikiPageWikiLink Category:Proof_theorists.
- William_Alvin_Howard wikiPageWikiLink Category:University_of_Chicago_alumni.
- William_Alvin_Howard wikiPageWikiLink Curry–Howard_correspondence.
- William_Alvin_Howard wikiPageWikiLink Doctor_of_Philosophy.
- William_Alvin_Howard wikiPageWikiLink Intuitionistic_logic.
- William_Alvin_Howard wikiPageWikiLink Mathematics_Genealogy_Project.
- William_Alvin_Howard wikiPageWikiLink Proof_theory.
- William_Alvin_Howard wikiPageWikiLink Saunders_Mac_Lane.
- William_Alvin_Howard wikiPageWikiLink Simply_typed_lambda_calculus.
- William_Alvin_Howard wikiPageWikiLink University_of_Chicago.
- William_Alvin_Howard wikiPageWikiLinkText "Howard".
- William_Alvin_Howard wikiPageWikiLinkText "Howard, William Alvin".
- William_Alvin_Howard wikiPageWikiLinkText "William A. Howard".
- William_Alvin_Howard wikiPageWikiLinkText "William Alvin Howard".
- William_Alvin_Howard wikiPageWikiLinkText "William Howard".
- William_Alvin_Howard wikiPageUsesTemplate Template:Cite_journal.
- William_Alvin_Howard wikiPageUsesTemplate Template:Reflist.
- William_Alvin_Howard wikiPageUsesTemplate Template:US-mathematician-stub.
- William_Alvin_Howard subject Category:1926_births.
- William_Alvin_Howard subject Category:20th-century_American_mathematicians.
- William_Alvin_Howard subject Category:21st-century_American_mathematicians.
- William_Alvin_Howard subject Category:Living_people.
- William_Alvin_Howard subject Category:Logicians.
- William_Alvin_Howard subject Category:Proof_theorists.
- William_Alvin_Howard subject Category:University_of_Chicago_alumni.
- William_Alvin_Howard hypernym Theorist.
- William_Alvin_Howard type List.
- William_Alvin_Howard type Person.
- William_Alvin_Howard type Philosopher.
- William_Alvin_Howard type Scientist.
- William_Alvin_Howard type List.
- William_Alvin_Howard type Mathematician.
- William_Alvin_Howard type Philosopher.
- William_Alvin_Howard type Scholar.
- William_Alvin_Howard comment "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\".".
- William_Alvin_Howard label "William Alvin Howard".
- William_Alvin_Howard sameAs Q2577855.
- William_Alvin_Howard sameAs William_Alvin_Howard.
- William_Alvin_Howard sameAs ویلیام_هوارد.
- William_Alvin_Howard sameAs William_Alvin_Howard.
- William_Alvin_Howard sameAs m.06bgzd.
- William_Alvin_Howard sameAs Q2577855.
- William_Alvin_Howard wasDerivedFrom William_Alvin_Howard?oldid=705089863.
- William_Alvin_Howard isPrimaryTopicOf William_Alvin_Howard.