Busy Beaver/proof For Uncomputability of Sn and %cf%83n

Famous quotes containing the words busy, beaver and/or proof:

    A bracelet of bright hair about the bone,
    Will he not let us alone,
    And think that there a loving couple lies
    Who thought that this device might be some way
    To make their souls, at the last busy day,
    Meet at this grave, and make a little stay?
    John Donne (1572–1631)

    This ferry was as busy as a beaver dam, and all the world seemed anxious to get across the Merrimack River at this particular point, waiting to get set over,—children with their two cents done up in paper, jail-birds broke lose and constable with warrant, travelers from distant lands to distant lands, men and women to whom the Merrimack River was a bar.
    Henry David Thoreau (1817–1862)

    The chief contribution of Protestantism to human thought is its massive proof that God is a bore.
    —H.L. (Henry Lewis)