Re: Paradoks elementarnego rachunku zdań

Article View: alt.pl.matematyka

Article #9917

#9917

From: Wlodzimierz Holsztynski (Wlod)
Date: Mon, 20 Jul 2009 11:13

21 lines
1715 bytes

On Jul 20, 3:54 am, Wlodzimierz Holsztynski <sennaj...@gmail.com>
wrote:
> Teoria - w danym wypadku tylko lingo
> - elementarnego rachunku zdań jest
> w zasadzie nieciekawa, jako że
> istnieje prosty algorytm, który
> sprawdza, czy zdanie jest twierdzeniem
> czy nie.
>
> Natomiast dowód, że elementarny rachunek
> zdań jest nieciekawą teorią jest ciekawy.

Miałem na mysli:

    "Natomiast twierdzenie, że elementarny..."

Może zresztą dowód trochę też.

Pozdrawiam,

    Włodek

Technical Details

Message-ID: <d12dd5cb-b58c-4909-9157-8f4ed13dc2b9@b25g2000prb.googlegroups.com>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.glorb.com!postnews.google.com!b25g2000prb.googlegroups.com!not-for-mail

References: <4bf71b0b-01ce-44e1-9814-e48faf83a9d6@2g2000prl.googlegroups.com>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.glorb.com!postnews.google.com!b25g2000prb.googlegroups.com!not-for-mail
From: "Wlodzimierz Holsztynski (Wlod)" <sennajawa@gmail.com>
Newsgroups: alt.pl.matematyka
Subject: Re: Paradoks elementarnego rachunku zdań
Date: Mon, 20 Jul 2009 04:13:14 -0700 (PDT)
Organization: http://groups.google.com
Lines: 21
Message-ID: <d12dd5cb-b58c-4909-9157-8f4ed13dc2b9@b25g2000prb.googlegroups.com>
References: <4bf71b0b-01ce-44e1-9814-e48faf83a9d6@2g2000prl.googlegroups.com>
NNTP-Posting-Host: 76.203.174.247
Mime-Version: 1.0
X-Trace: posting.google.com 1248088394 10067 127.0.0.1 (20 Jul 2009 11:13:14 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 20 Jul 2009 11:13:14 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: b25g2000prb.googlegroups.com; posting-host=76.203.174.247;  posting-account=UrCXdgoAAADLYEIMhLgC9DXK7KdryJbT
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X 10.4; en-US;  rv:1.9.1.1) Gecko/20090715 Firefox/3.5.1,gzip(gfe),gzip(gfe)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message