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

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

    Although a man may lose a sense of his own importance when he is a mere unit among a busy throng, all utterly regardless of him, it by no means follows that he can dispossess himself, with equal facility, of a very strong sense of the importance and magnitude of his cares.
    Charles Dickens (1812–1870)

    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)

    O, popular applause! what heart of man
    Is proof against thy sweet, seducing charms?
    William Cowper (1731–1800)