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

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

    “The busy tribes of flesh and blood,
    With all their lives and cares,
    Are carried downwards by thy flood,
    And lost in following years.

    Time, like an ever-rolling stream,
    Bears all its sons away;
    They fly forgotten, as a dream
    Dies at the opening day.”
    —Isaac Watts (1674–1748)

    “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)

    “The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
    —Charles Baudelaire (1821–1867)