Constructive Set Theory/intuitionistic Zermelo%e2%80%93fraenkel

Famous quotes containing the words constructive, set and/or theory:

    The measure discriminates definitely against products which make up what has been universally considered a program of safe farming. The bill upholds as ideals of American farming the men who grow cotton, corn, rice, swine, tobacco, or wheat and nothing else. These are to be given special favors at the expense of the farmer who has toiled for years to build up a constructive farming enterprise to include a variety of crops and livestock.
    Calvin Coolidge (1872–1933)

    One does not set fire to a world which is already lost.
    Friedrich Dürrenmatt (1921–1990)

    The weakness of the man who, when his theory works out into a flagrant contradiction of the facts, concludes “So much the worse for the facts: let them be altered,” instead of “So much the worse for my theory.”
    George Bernard Shaw (1856–1950)