William Craig — may refer to: *William Craig (politician) Right Honourable (William (Bill) Craig), (1924 ndash;), Northern Ireland politician *William Craig (author) (1929 1997), American author *William Craig (broadcaster), Canadian broadcaster *William Craig… … Wikipedia
Craig (surname) — For other uses, see Craig. Craig is a surname, derived from the Scottish Gaelic creag. The word craig (Anglicised to crag) refers to a small, rocky hill in Scottish English. It may refer to: Amanda Craig (born 1959), British author Caroline Craig … Wikipedia
Craig's theorem — A theorem in mathematical logic, held to have implications in the philosophy of science. The logician William Craig at Berkeley showed how, if we partition the vocabulary of a formal system (say, into the T or theoretical terms, and the O or… … Philosophy dictionary
Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… … Wikipedia
Robert Feys — (1889 1961) was a logician and philosopher.In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus ( Combinatory Logic I ).Bibliography* Combinatory logic *:Haskell B. Curry Robert Feys. With… … Wikipedia
11th century — As a means of recording the passage of time, the 11th century is the period from 1001 to 1100 in accordance with the Julian calendar in the Christian/Common Era. In the history of European culture, this period is considered the early part of the… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
