Hilbert System - Further Connections

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:

    I have no connections here; only gusty collisions,
    rootless seedlings forced into bloom, that collapse.
    ...
    I am the Visiting Poet: a real unicorn,
    a wind-up plush dodo, a wax museum of the Movement.
    People want to push the buttons and see me glow.
    Marge Piercy (b. 1936)

    ... feminism is a political term and it must be recognized as such: it is political in women’s terms. What are these terms? Essentially it means making connections: between personal power and economic power, between domestic oppression and labor exploitation, between plants and chemicals, feelings and theories; it means making connections between our inside worlds and the outside world.
    Anica Vesel Mander, U.S. author and feminist, and Anne Kent Rush (b. 1945)