Re: Letnie zniechęcenie z Robakksem.

Article View: alt.pl.matematyka

Article #9748

#9748

From: Maciej Woźniak
Date: Thu, 16 Jul 2009 14:46

9 lines
1344 bytes

Użytkownik "Mateusz Grotek" <unoduetre@poczta.onet.pl> napisał w wiadomości

> A więc, żeby mieć liczby musimy jakoś odwzorować mnożenie i indukcję. To
> się nie uda dla geometrii bez jakiejś teorii mnogości, gdyż jest ona
> rozstrzygalna, a arytmetyka nie jest.

Logiczny wniosek. Niemniej, geometria ma 2500 lat
a teoria mnogości tylko 100 z hakiem.

Technical Details

Message-ID: <h3neg9$ds5$1@news.task.gda.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.task.gda.pl!not-for-mail

References: <h3k77e$d69$1@news.onet.pl> <h3ld69$rof$1@inews.gazeta.pl> <h3lj65$vg9$1@news.onet.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.task.gda.pl!not-for-mail
From: Maciej Woźniak <mlwozniak_no_spam_@wp.pl>
Newsgroups: alt.pl.matematyka
Subject: Re: Letnie zniechęcenie z Robakksem.
Date: Thu, 16 Jul 2009 16:46:35 +0200
Organization: CI TASK http://www.task.gda.pl/
Lines: 10
Message-ID: <h3neg9$ds5$1@news.task.gda.pl>
References: <h3k77e$d69$1@news.onet.pl> <h3ld69$rof$1@inews.gazeta.pl> <h3lj65$vg9$1@news.onet.pl>
NNTP-Posting-Host: chello089079182206.chello.pl
Mime-Version: 1.0
X-Trace: news.task.gda.pl 1247755593 14213 89.79.182.206 (16 Jul 2009 14:46:33 GMT)
X-Complaints-To: abuse@news.task.gda.pl
NNTP-Posting-Date: Thu, 16 Jul 2009 14:46:33 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5512
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message