William Alvin Howard

William Alvin Howard (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, where he was a student of Saunders Mac Lane. The Howard ordinal or Bachmann-Howard ordinal ... more

Date of birth:

  • 1926 (age 83 years)
top ↑ top ↑

Person

Gender:

Profession:

top ↑

Facts from the Community

From the Proofs are Programs base

Contributions:

Key concept Date Contributors Why this is interesting Key artifacts
  • 1969
  • Howard put together the work of Curry and Feys in 1969: proofs are programs, types are propositions, realizing the syntactic analogy between systems of formal logic and computational calculi.
top ↑

Similar topics in Freebase

  • Aristotle

    Aristotle

    Aristotle (Greek: Ἀριστοτέλης, Aristotélēs) (384 BC – 322 BC) was a Greek philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, poetry, theater, music, logic, rhetoric, politics, government, ethics, biology, and zoology....
  • Bertrand Russell

    Bertrand Russell

    Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS (18 May 1872 – 2 February 1970) was an English philosopher, logician, mathematician, historian, socialist, pacifist and social critic. Although he spent the majority of his life in England, he was born in Wales, where he also died. Russell...
  • Charles Peirce

    Charles Peirce

    Charles Sanders Peirce (pronounced /ˈpɜrs/ purse) (September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, born in Cambridge, Massachusetts. Peirce was educated as a chemist and employed as a scientist for 30 years. It is largely his contributions...
  • Gottlob Frege

    Gottlob Frege

    Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German mathematician who became a logician and philosopher. He was one of the founders of modern logic, and made major contributions to the foundations of mathematics. As a philosopher, he is generally considered to be the father...
  • Peter Whittle

    Peter Whittle (born 27 February 1927, in Wellington, New Zealand) is a mathematician and statistician, working in the fields of stochastic nets, optimal control, time series analysis, stochastic optimization and stochastic dynamics. From 1967 to 1994, he was the Churchill Professor of Mathematics...
  • Keith Devlin

    Keith J. Devlin (Hull, Great Britain, 16 March, 1947) is an English mathematician and popular science writer. Devlin is co-founder and Executive Director of Stanford University's Human-Sciences and Technologies Advanced Research Institute (H-STAR), a co-founder of Stanford Media X university...

These people have edited this topic:

Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for William Alvin Howard was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution