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

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

    “I have often wished I had time to cultivate modesty.... But I am too busy thinking about myself.”
    —Dame Edith Sitwell (1887–1964)

    “This ferry was as busy as a beaver dam, and all the world seemed anxious to get across the Merrimack River at this particular point, waiting to get set over,—children with their two cents done up in paper, jail-birds broke lose and constable with warrant, travelers from distant lands to distant lands, men and women to whom the Merrimack River was a bar.”
    —Henry David Thoreau (1817–1862)

    “War is a beastly business, it is true, but one proof we are human is our ability to learn, even from it, how better to exist.”
    —M.F.K. Fisher (1908–1992)