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)
“A foreign minister, I will maintain it, can never be a good man of business if he is not an agreeable man of pleasure too. Half his business is done by the help of his pleasures: his views are carried on, and perhaps best, and most unsuspectedly, at balls, suppers, assemblies, and parties of pleasure; by intrigues with women, and connections insensibly formed with men, at those unguarded hours of amusement.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)