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

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

    They’re busy making bigger roads,
    and better roads and more,
    so that people can discover
    even faster than before
    that everything is everywhere alike.
    Piet Hein (b. 1905)

    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)

    Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?
    Henry David Thoreau (1817–1862)