Constructive Set Theory/intuitionistic Zermelo-fraenkel

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)

    Groot: Now wait a minute, Quo. You really ain’t gonna take a man’s only set of teeth, are ya?
    Quo: Uh huh.
    Groot: Yeah, but I gotta use ‘em for eatin’.
    Quo: Come grub you get ‘em.
    Groot: Whad ya’ gonna do with ‘em?
    Quo: My name now Two-Jaw Quo.
    Borden Chase [Frank Fowler] (1900–1971)

    The struggle for existence holds as much in the intellectual as in the physical world. A theory is a species of thinking, and its right to exist is coextensive with its power of resisting extinction by its rivals.
    Thomas Henry Huxley (1825–95)