Further Connections
Axioms P1, P2 and P3, with the deduction rule modus ponens (formalising intuitionistic propositional logic), correspond to combinatory logic base combinators I, K and S with the application operator. Proofs in the Hilbert system then correspond to combinator terms in combinatory logic. See also Curry-Howard correspondence.
Read more about this topic: Hilbert System
Famous quotes containing the word connections:
“Our business being to colonize the country, there was only one way to do it—by spreading over it all the associations and connections of family life.”
—Henry Parkes (1815–1896)
“The connections between and among women are the most feared, the most problematic, and the most potentially transforming force on the planet.”
—Adrienne Rich (b. 1929)