Article View: pl.comp.lang.funkcyjne
Article #270Re: newbi: Co to jest i z czym to sie je? :)
From: Tomek Czajka
Date: Fri, 14 Feb 2003 18:16
Date: Fri, 14 Feb 2003 18:16
8 lines
1190 bytes
1190 bytes
> > 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... :)) Tomek
Technical Details
Message-ID:
<3E4D327D.9FFD1E9@mimuw.edu.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!newsfeed.gazeta.pl!news.internetia.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mailReferences:
<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>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!newsfeed.gazeta.pl!news.internetia.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mail From: Tomek Czajka <tczajka@mimuw.edu.pl> Newsgroups: pl.comp.lang.funkcyjne Subject: Re: newbi: Co to jest i z czym to sie je? :) Date: Fri, 14 Feb 2003 19:16:29 +0100 Organization: MIMUW Lines: 10 Message-ID: <3E4D327D.9FFD1E9@mimuw.edu.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> NNTP-Posting-Host: ds146.ds2.uw.edu.pl Mime-Version: 1.0 X-Trace: kenny.mimuw.edu.pl 1045246630 17457 193.0.110.32 (14 Feb 2003 18:17:10 GMT) X-Complaints-To: abuse@news.mimuw.edu.pl NNTP-Posting-Date: Fri, 14 Feb 2003 18:17:10 +0000 (UTC) X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.19 i586) X-Accept-Language: en Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit