Intensional Type Theory

Famous quotes containing the words type and/or theory:

    This immediate dependence of language upon nature, this conversion of an outward phenomenon into a type of somewhat in human life, never loses its power to affect us. It is this which gives that piquancy to the conversation of a strong-natured farmer or backwoodsman, which all men relish.
    Ralph Waldo Emerson (1803–1882)

    Don’t confuse hypothesis and theory. The former is a possible explanation; the latter, the correct one. The establishment of theory is the very purpose of science.
    Martin H. Fischer (1879–1962)