Paradoks elementarnego rachunku zdań

Article View: alt.pl.matematyka

Article #9916

#9916

From: Wlodzimierz Holsztynski
Date: Mon, 20 Jul 2009 10:54

20 lines
1707 bytes

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.
Jest oczywiście ważny dla logiki matematycznej,
więc i dla całej matematyki. Jednak to
twierdzenie jest także ważne i ciekawe dla
wąskiego działu algebry, mianowicie
dla algebr zbliżonych do algebr boole'a.
Jest to może bez porównania mniej
fundamentalny aspekt, ale soczysty.

Pozdrawiam,

    Włodek

Technical Details

Message-ID: <4bf71b0b-01ce-44e1-9814-e48faf83a9d6@2g2000prl.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!2g2000prl.googlegroups.com!not-for-mail

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!2g2000prl.googlegroups.com!not-for-mail
From: Wlodzimierz Holsztynski <sennajawa@gmail.com>
Newsgroups: alt.pl.matematyka
Subject: Paradoks elementarnego rachunku zdań
Date: Mon, 20 Jul 2009 03:54:13 -0700 (PDT)
Organization: http://groups.google.com
Lines: 20
Message-ID: <4bf71b0b-01ce-44e1-9814-e48faf83a9d6@2g2000prl.googlegroups.com>
NNTP-Posting-Host: 76.203.174.247
Mime-Version: 1.0
X-Trace: posting.google.com 1248087253 6495 127.0.0.1 (20 Jul 2009 10:54:13 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 20 Jul 2009 10:54:13 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 2g2000prl.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