Re: newbi: Co to jest i z czym to sie je? :)

Article View: pl.comp.lang.funkcyjne

Article #271

Back to pl.comp.lang.funkcyjne Previous Next

#271

From: Ryszard Szopa
Date: Tue, 18 Feb 2003 17:35

14 lines
1677 bytes

[pią, 14 lut 2003 o 18:16 GMT], Tomek Czajka <tczajka@mimuw.edu.pl>:
>> a punkt b), imho traci paskudnym formalizmem - to Cie naraza na
>> niebezpieczenstwo skonczenia jak Hilbert - zawsze sie moze jakis Goedel
>> pojawic! :)
> 
> Ciekawe, co tez ten Goedel biednemu Hilbertowi zrobil... :))
pokazał wszem i wobec, że nie tylo nie ma racji, ale też racji mieć nie
może (w każdym możliwym wszechświecie ;).
		-- bies

-- 
(email '(bies (at) hell org pl))   ;; 4.1212 Co *można* pokazać, tego
(name (or '(ryszard szopa) 'bies)) ;; *nie można* powiedzieć.
(www '(bies hell org pl))          ;;     -- L. Wittgenstein

Technical Details

Message-ID: <b2tqto$3p3$1@atlantis.news.tpi.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!news.nask.pl!newsfeed.gazeta.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail

References:

<b2ap0k$cum$1@atlantis.news.tpi.pl> <slrnb4kc1l.ljp.bies@hell.org.pl> <b2dsso$pue$1@atlantis.news.tpi.pl> <slrnb4mujn.qlp.bies@hell.org.pl> <3E4D327D.9FFD1E9@mimuw.edu.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!news.nask.pl!newsfeed.gazeta.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Ryszard Szopa <bies@dont.ask.stupid.questions>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: newbi: Co to jest i z czym to sie je? :)
Date: Tue, 18 Feb 2003 17:35:53 +0000 (UTC)
Organization: tp.internet - http://www.tpi.pl/
Lines: 14
Message-ID: <b2tqto$3p3$1@atlantis.news.tpi.pl>
References: <b2ap0k$cum$1@atlantis.news.tpi.pl> <slrnb4kc1l.ljp.bies@hell.org.pl> <b2dsso$pue$1@atlantis.news.tpi.pl> <slrnb4mujn.qlp.bies@hell.org.pl> <3E4D327D.9FFD1E9@mimuw.edu.pl>
Reply-To: bies@hell.org.pl
NNTP-Posting-Host: pj186.gdynia.cvx.ppp.tpnet.pl
Mime-Version: 1.0
X-Trace: atlantis.news.tpi.pl 1045589753 3875 213.77.247.186 (18 Feb 2003 17:35:53 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Tue, 18 Feb 2003 17:35:53 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message