Article View: pl.comp.objects
Article #16597Re: [offtopic] Re: parallel computing
From: Michal Przybylek
Date: Wed, 25 Apr 2007 11:49
Date: Wed, 25 Apr 2007 11:49
17 lines
2022 bytes
2022 bytes
"Aleksander Galicki" <tretete.SKASUJ@gazeta.pl> wrote: > > Dla mnie te zalozenia sa o tyle arbitralne, ze wszystkie te konstrukcje > > tlumacza sie na siebie w sposob rekurencyjny (czyli pomijalny z punktu > > widzenia tych klas zlozonosci). > > To nie ma nic wspolnego z klasami zlozonosci. Bez tych zalozen dosc > trudno byloby udowodnic ze "nakrotszy program" jest zawsze > krotszy od "najszybszego programu". Jak mi udowodnisz powyzsze przy swoich zalozeniach, to ja podam dowod, ze ta wlasnosc zachodzi z dokladnoscia do funkcji rekurencyjnej (czyli z dokladnoscia do pomijalnego skladnika z punktu widzenia klas zlozonosci funkcji nieobliczalnych) przy _dowolnym_ efektywnym kodowaniu. mp
Technical Details
Message-ID:
<f0nf9d$bfm$1@atlantis.news.tpi.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mailReferences:
<f0kbck$buv$1@inews.gazeta.pl> <m4ur23lvgu1ne3tq3p89tcl45krjb6omfr@4ax.com> <f0l2nr$ovd$1@atlantis.news.tpi.pl> <uubs235n46s78iftu04bccsphh2drsgceq@4ax.com> <f0lcen$6nv$1@atlantis.news.tpi.pl> <f0mfo8$i9o$1@inews.gazeta.pl> <f0n9k7$k3q$1@atlantis.news.tpi.pl> <f0nbdo$1c5$1@inews.gazeta.pl> <f0nck2$1q3$1@atlantis.news.tpi.pl> <f0nd87$9hj$1@inews.gazeta.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail From: "Michal Przybylek" <mrp@neostrada.pl> Newsgroups: pl.comp.objects Subject: Re: [offtopic] Re: parallel computing Date: Wed, 25 Apr 2007 13:49:16 +0200 Organization: tp.internet - http://www.tpi.pl/ Lines: 18 Message-ID: <f0nf9d$bfm$1@atlantis.news.tpi.pl> References: <f0kbck$buv$1@inews.gazeta.pl> <m4ur23lvgu1ne3tq3p89tcl45krjb6omfr@4ax.com> <f0l2nr$ovd$1@atlantis.news.tpi.pl> <uubs235n46s78iftu04bccsphh2drsgceq@4ax.com> <f0lcen$6nv$1@atlantis.news.tpi.pl> <f0mfo8$i9o$1@inews.gazeta.pl> <f0n9k7$k3q$1@atlantis.news.tpi.pl> <f0nbdo$1c5$1@inews.gazeta.pl> <f0nck2$1q3$1@atlantis.news.tpi.pl> <f0nd87$9hj$1@inews.gazeta.pl> NNTP-Posting-Host: dmg68.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: atlantis.news.tpi.pl 1177501805 11766 83.24.62.68 (25 Apr 2007 11:50:05 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Wed, 25 Apr 2007 11:50:05 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1807 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1896 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit