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

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

    Enjoy the honey-heavy dew of slumber.
    Thou hast no figures, nor no fantasies,
    Which busy care draws in the brains of men;
    Therefore thou sleep’st so sound.
    William Shakespeare (1564–1616)

    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)

    He who has never failed somewhere, that man can not be great. Failure is the true test of greatness. And if it be said, that continual success is a proof that a man wisely knows his powers,—it is only to be added, that, in that case, he knows them to be small.
    Herman Melville (1819–1891)