Article View: pl.comp.objects
Article #16593Re: [offtopic] Re: parallel computing
From: Michal Przybylek
Date: Wed, 25 Apr 2007 10:12
Date: Wed, 25 Apr 2007 10:12
30 lines
2132 bytes
2132 bytes
"Aleksander Galicki" <tretete@NOSPAM.gazeta.pl> wrote:
> "Wezmy dowolne efektywne kodowanie zdan logiki pierwszego rzedu. Niech
l(n) -
> dlugosc najkrotszego dowodu (w dowolnym efektywnym formalizmie) formuly
\phi
> o numerze n. Okreslmy funkcje f : N -> N nastepujaco:
>
> f(n) = \sum{i = 0..n} l(i)
>
> Ta funkcja rosnie niewyobrazalnie szybciej od ss i prawdopodobnie szybciej
> niz dowolna funkcja, ktora jestes w stanie zdefiniowac (nie uzywajac f ani
> l). "
>
> To jest raczej oczywista nieprawda. Zakladajac ze mowimy o prefix-free
> maszynach/jezykach itepe, a takze zakladajac, ze dlugoscia dowodu jest
dlugosc
> maszyny (a nie np. wykonania) to mozna latwo znalezc szybciej (a napewno
nie
> wolniej) rosnace funkcje. Np uzywajac "dlugosc _najszybszego_ dowodu"
> zamiast l(n).
ROTFL :-)
Zauwaz, ze w moim stwierdzeniu wyraz "jestes" nie odnosil sie do Ciebie :-)
mp
ps. Twoje zalozenia tak naprawde nie sa istotne.
Technical Details
Message-ID:
<f0n9k7$k3q$1@atlantis.news.tpi.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newshub.sdsu.edu!newsfeed.news2me.com!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>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newshub.sdsu.edu!newsfeed.news2me.com!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 12:12:38 +0200 Organization: tp.internet - http://www.tpi.pl/ Lines: 31 Message-ID: <f0n9k7$k3q$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> NNTP-Posting-Host: dmg68.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: atlantis.news.tpi.pl 1177496007 20602 83.24.62.68 (25 Apr 2007 10:13:27 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Wed, 25 Apr 2007 10:13:27 +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