Axiom - Mathematical Logic

Mathematical Logic

In the field of mathematical logic, a clear distinction is made between two notions of axioms: logical and non-logical (somewhat similar to the ancient distinction between "axioms" and "postulates" respectively).

Read more about this topic:  Axiom

Famous quotes containing the words mathematical and/or logic:

    As we speak of poetical beauty, so ought we to speak of mathematical beauty and medical beauty. But we do not do so; and that reason is that we know well what is the object of mathematics, and that it consists in proofs, and what is the object of medicine, and that it consists in healing. But we do not know in what grace consists, which is the object of poetry.
    Blaise Pascal (1623–1662)

    Though living is a dreadful thing
    And a dreadful thing is it
    Life the niggard will not thank,
    She will not teach who will not sing,
    And what serves, on the final bank,
    Our logic and our wit?
    Philip Larkin (1922–1986)