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)

    “I saw young Harry with his beaver on,
    His cuisses on his thighs, gallantly armed,
    Rise from the ground like feathered Mercury,
    And vaulted with such ease into his seat
    As if an angel dropped down from the clouds
    To turn and wind a fiery Pegasus,
    And witch the world with noble horsemanship.”
    —William Shakespeare (1564–1616)

    “A short letter to a distant friend is, in my opinion, an insult like that of a slight bow or cursory salutation—a proof of unwillingness to do much, even where there is a necessity of doing something.”
    —Samuel Johnson (1709–1784)