Path: csiph.com!usenet.pasdenom.info!news.albasani.net!.POSTED!not-for-mail From: Frederick Williams Newsgroups: comp.theory,sci.logic,comp.programming Subject: Re: Theorem automated proving P = NP A proposition Date: Wed, 28 Nov 2012 14:39:14 +0000 Organization: albasani.net Lines: 22 Message-ID: <50B62212.28F5909C@btinternet.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: news.albasani.net BbaHYPOTVyL6QnPzl1GFrwqnHc+an8UynYA/BM1TTyLnLTA7qIxf42q8jFvvmdOuRS8ukz2S0zhVvPp8W0mZCw== NNTP-Posting-Date: Wed, 28 Nov 2012 14:39:10 +0000 (UTC) Injection-Info: news.albasani.net; logging-data="ZpF2IPUKQIgafKnS+EH9zhWseo4z6A7frSclP1HUgKcA+Hwtc1W0vxaLjDcRGeV58etNGVBFlTJU5s7d7Wyo9x3GlLH5TciYGbp6ZrcSB8eyXDQs/p2j9Bc2ABqtQGCw"; mail-complaints-to="abuse@albasani.net" X-Mailer: Mozilla 4.8 [en] (Windows NT 5.0; U) X-Accept-Language: en Cancel-Lock: sha1:2ISWMdju5DBYnNca0SZLuOtEFvw= Xref: csiph.com comp.theory:5659 comp.programming:2532 Jan Burse wrote: > > > (** QED stands for "Quid erst demonstration". This = Latin for "What > > was to be shown." *) > > The above doesn't sound latin, but I am not > an expert. I find instead: > > quod erat demonstrandum > quod esset demonstrandum > http://de.wikipedia.org/wiki/Quod_erat_demonstrandum > > And humorously: > quo errat demonstrator > quod est dubitandum I had a teacher who claimed it stood for "quite easily done". -- When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting