🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: alt.pl.matematyka
Article #10742

Re: Teoria symboli

#10742
From: Robakks
Date: Tue, 17 Nov 2009 20:08
35 lines
1872 bytes
"Maciej Woźniak" <mlwozniak_nospam@wp.pl>
news:hduv4h$at2$1@inews.gazeta.pl...
> "Robakks" <Robakks@gazeta.pl>
> news:hdus40$qv6$1@inews.gazeta.pl...

>> Napisz mi więc czy dobrze rozumiem.
>>
>>         \_/
>> A1)   \/  a (a==a)
>>
>> Powyższy zapis oznacza:
>>    Aksjomat pierwszy
>>        Dla każdego a
>>        a jest identyczne z a
>> przy czym identyczne nie oznacza równe.
>
> Wszystko się zgadza, jak najbardziej; to
> właśnie oznacza powyższy zapis. A czy
> dobrze rozumiesz, tego niestety nie wiem.
> Ale wątpię.

>> Czego wobec tego dotyczy identyczność? :-)

> Symboli.

OK.
Jest zbiór symboli a
W tym zbiorze każdy element jest symbolem a
Każdy symbol a jest identyczny z dowolnym innym symbolem a
nakeżącym do tego zbioru.
Czy jest określona liczność tego zbioru?
A więc:
jaka jest moc tego zbioru i czy ma nazwę ten zbiór?
Robakks
*°"˝'´¨˘`˙.^:;~>¤<×÷-.,˛¸ 
Technical Details
Message-ID: <hduvrc$e5l$1@inews.gazeta.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
References: <hdugqp$d82$1@inews.gazeta.pl> <hdukii$r0h$1@inews.gazeta.pl> <hduq01$i8g$1@inews.gazeta.pl> <hdus40$qv6$1@inews.gazeta.pl> <hduv4h$at2$1@inews.gazeta.pl>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: "Robakks" <Robakks@gazeta.pl>
Newsgroups: alt.pl.matematyka
Subject: Re: Teoria symboli
Date: Tue, 17 Nov 2009 21:08:11 +0100
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 36
Message-ID: <hduvrc$e5l$1@inews.gazeta.pl>
References: <hdugqp$d82$1@inews.gazeta.pl> <hdukii$r0h$1@inews.gazeta.pl> <hduq01$i8g$1@inews.gazeta.pl> <hdus40$qv6$1@inews.gazeta.pl> <hduv4h$at2$1@inews.gazeta.pl>
NNTP-Posting-Host: chello089079191041.chello.pl
Mime-Version: 1.0
X-Trace: inews.gazeta.pl 1258488492 14517 89.79.191.41 (17 Nov 2009 20:08:12 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Tue, 17 Nov 2009 20:08:12 +0000 (UTC)
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
X-Newsreader: Microsoft Outlook Express 6.00.2900.5843
X-User: robakks
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit