Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming > #2532
| Path | csiph.com!usenet.pasdenom.info!news.albasani.net!.POSTED!not-for-mail |
|---|---|
| From | Frederick Williams <freddywilliams@btinternet.com> |
| 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> (permalink) |
| References | <e02469aa-911a-4a72-88d4-13a2f96adc7e@me7g2000pbb.googlegroups.com> <k9562p$ksm$1@news.albasani.net> |
| 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 |
Cross-posted to 3 groups.
Show key headers only | View raw
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
Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Theorem automated proving P = NP A proposition Martin Musatov <marty.musatov@gmail.com> - 2012-11-28 04:59 -0800
Re: Theorem automated proving P = NP A proposition Jongware <jongware@no-spam.plz> - 2012-11-28 14:43 +0100
Re: Theorem automated proving P = NP A proposition Jan Burse <janburse@fastmail.fm> - 2012-11-28 15:11 +0100
Re: Theorem automated proving P = NP A proposition Frederick Williams <freddywilliams@btinternet.com> - 2012-11-28 14:39 +0000
Re: Theorem automated proving P = NP A proposition Martin Musatov <marty.musatov@gmail.com> - 2012-11-28 12:51 -0800
csiph-web