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

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

    Now ‘tis nought
    But restless hurry through the busy air,
    Beat by unnumbered wings.
    James Thomson (1700–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 chief contribution of Protestantism to human thought is its massive proof that God is a bore.
    —H.L. (Henry Lewis)