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)

    “On the top of the Crumpetty Tree
    The Quangle Wangle sat,
    But his face you could not see,
    On account of his Beaver Hat.”
    —Edward Lear (1812–1888)

    “If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a “Declaration &c.” which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
    —Thomas Jefferson (1743–1826)