Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming > #2531
| From | Jan Burse <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.theory, sci.logic, comp.programming |
| Subject | Re: Theorem automated proving P = NP A proposition |
| Date | 2012-11-28 15:11 +0100 |
| Organization | albasani.net |
| Message-ID | <k9562p$ksm$1@news.albasani.net> (permalink) |
| References | <e02469aa-911a-4a72-88d4-13a2f96adc7e@me7g2000pbb.googlegroups.com> |
Cross-posted to 3 groups.
> (** 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 Bye
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