Thread View: alt.pl.matematyka
2 messages
2 total messages
Started by Wlodzimierz Holsztynski
Mon, 20 Jul 2009 10:54
Paradoks elementarnego rachunku zdań
Author: Wlodzimierz Holsztynski
Date: Mon, 20 Jul 2009 10:54
Date: Mon, 20 Jul 2009 10:54
20 lines
1707 bytes
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
Re: Paradoks elementarnego rachunku zdań
Author: Wlodzimierz Holsztynski (Wlod)
Date: Mon, 20 Jul 2009 11:13
Date: Mon, 20 Jul 2009 11:13
21 lines
1715 bytes
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
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads