Proverbs, aphorisms, quotations (English) | by Linux fortune |
SEMINAR ANNOUNCEMENT Title: Are Frogs Turing Compatible? Speaker: Don "The Lion" Knuth ABSTRACT Several researchers at the University of Louisiana have been studying the computing power of various amphibians, frogs in particular. The problem of frog computability has become a critical issue that ranges across all areas of computer science. It has been shown that anything computable by an amphi- bian community in a fixed-size pond is computable by a frog in the same-size pond -- that is to say, frogs are Pond-space complete. We will show that there is a log-space, polywog-time reduction from any Turing machine program to a frog. We will suggest these represent a proper subset of frog-computable functions. This is not just a let's-see-how-far-those-frogs-can-jump seminar. This is only for hardcore amphibian-computation people and their colleagues. Refreshments will be served. Music will be played. | |
HOW TO PROVE IT, PART 5 proof by accumulated evidence: Long and diligent search has not revealed a counterexample. proof by cosmology: The negation of the proposition is unimaginable or meaningless. Popular for proofs of the existence of God. proof by mutual reference: In reference A, Theorem 5 is said to follow from Theorem 3 in reference B, which is shown to follow from Corollary 6.2 in reference C, which is an easy consequence of Theorem 5 in reference A. proof by metaproof: A method is given to construct the desired proof. The correctness of the method is proved by any of these techniques. | |
Engram, n.: 1. The physical manifestation of human memory -- "the engram." 2. A particular memory in physical form. [Usage note: this term is no longer in common use. Prior to Wilson and Magruder's historic discovery, the nature of the engram was a topic of intense speculation among neuroscientists, psychologists, and even computer scientists. In 1994 Professors M. R. Wilson and W. V. Magruder, both of Mount St. Coax University in Palo Alto, proved conclusively that the mammalian brain is hardwired to interpret a set of thirty seven genetically transmitted cooperating TECO macros. Human memory was shown to reside in 1 million Q-registers as Huffman coded uppercase-only ASCII strings. Interest in the engram has declined substantially since that time.] -- New Century Unabridged English Dictionary, 3rd edition, 2007 A.D. | |
My message is not that biological determinists were bad scientists or even that they were always wrong. Rather, I believe that science must be understood as a social phenomenon, a gutsy, human enterprise, not the work of robots programmed to collect pure information. I also present this view as an upbeat for science, not as a gloomy epitaph for a noble hope sacrificed on the alter of human limitations. I believe that a factual reality exists and that science, though often in an obtuse and erratic manner, can learn about it. Galileo was not shown the instruments of torture in an abstract debate about lunar motion. He had threatened the Church's conventional argument for social and doctrinal stability: the static world order with planets circling about a central earth, priests subordinate to the Pope and serfs to their lord. But the Church soon made its peace with Galileo's cosmology. They had no choice; the earth really does revolve about the sun. -- S.J. Gould, "The Mismeasure of Man" | |
Seek for the Sword that was broken: In Imladris it dwells; There shall be counsels taken Stronger than Morgul-spells. There shall be shown a token That Doom is near at hand, For Isildur's Bane shall waken, And the Halfling forth shall stand. -- J. R. R. Tolkien | |
What kind of love is that? Not to be loved; never to have shown love. -- Commissioner Nancy Hedford, "Metamorphosis", stardate 3219.8 | |
Microsoft Mandatory Survey (#14) Customers who want to upgrade to Windows 98 Second Edition must now fill out a Microsoft survey online before they can order the bugfix/upgrade. Question 14: How would you rate the performance of the Microsoft defense team in the antitrust trial? A. Perfect; they have clearly shown that Microsoft's market leading position is good for consumers. B. Outstanding; all of the pundits who are predicting that Microsoft will lose are a bunch of idiots. C. Excellent; Bill Gates' wonderful video deposition clearly demonstrated to the American public that he is a true visionary. D. I don't know; I haven't been paying any attention to the case because I know Microsoft will prevail anyways. | |
Brief History Of Linux (#1) Re-Inventing the Wheel Our journey through the history of Linux begins ca. 28000 B.C. when a large all-powerful company called MoogaSoft monopolized the wheel-making industry. As founder of the company, Billga Googagates (rumored to be the distant ancestor of Bill Gates) was the wealthiest man in the known world, owning several large rock huts, an extravagant collection of artwork (cave paintings), and a whole army of servants and soldiers. MoogaSoft's unfair business practices were irritating, but users were unable to do anything about them, lest they be clubbed to death by MoogaSoft's army. Nevertheless, one small group of hobbyists finally got fed up and starting hacking their own wheels out of solid rock. Their spirit of cooperation led to better and better wheels that eventually outperformed MoogaSoft offerings. MoogaSoft tried desperately to stop the hobbyists -- as shown by the recently unearthed "Ooga! Document" -- but failed. Ironically, Billga Googagates was killed shortly afterwards when one his own 900-pound wheels crushed him. | |
This product is meant for educational purposes only. Any resemblance to real persons, living or dead is purely coincidental. Void where prohibited. Some assembly may be required. Batteries not included. Contents may settle during shipment. Use only as directed. May be too intense for some viewers. If condition persists, consult your physician. No user-serviceable parts inside. Breaking seal constitutes acceptance of agreement. Not responsible for direct, indirect, incidental or consequential damages resulting from any defect, error or failure to perform. Slippery when wet. For office use only. Substantial penalty for early withdrawal. Do not write below this line. Your cancelled check is your receipt. Avoid contact with skin. Employees and their families are not eligible. Beware of dog. Driver does not carry cash. Limited time offer, call now to insure prompt delivery. Use only in well-ventilated area. Keep away from fire or flame. Some equipment shown is optional. Price does not include taxes, dealer prep, or delivery. Penalty for private use. Call toll free before digging. Some of the trademarks mentioned in this product appear for identification purposes only. All models over 18 years of age. Do not use while operating a motor vehicle or heavy equipment. Postage will be paid by addressee. Apply only to affected area. One size fits all. Many suitcases look alike. Edited for television. No solicitors. Reproduction strictly prohibited. Restaurant package, not for resale. Objects in mirror are closer than they appear. Decision of judges is final. This supersedes all previous notices. No other warranty expressed or implied. | |
He has shown you, o man, what is good. And what does the Lord ask of you, but to do justice, and to love kindness, and to walk humbly before your God? |