🚀 go-pugleaf

z pl.sci.filozofia
"Tomek" <tomekwilmowski@ymail.com>
news:9291a24b-be52-467a-b037-97a177a8fc30@g6g2000vbr.googlegroups.com...
> On 31 Sie, 22:36, "Robakks" <Roba...@gazeta.pl> wrote:
>> "Tomek" 
>> <tomekwilmow...@ymail.com>news:a15f6304-477f-4f9f-8aff-9a9ccc5c90dc@s6g2000vbp.googlegroups.com...


1. klasyczny rachunek zdań (KRZ)
2. klasyczny rachunek kwantyfikatorów (KRK)
3. klasyczny rachunek zbiorów
4. klasyczny rachunek liczb

>> > ksRobak napisał:
>> >> A znasz Tomuś metajęzyk dla w.w. rachunków?

>> > Chodzi o definiowalność w arytmetyce, która prowadzi do
>> > nieskończonej hierarchii metajęzyków odpowiadającej hierarchii
>> > alefów Cantora?
>> > Rozróżnienie przytoczenia i użycia funktora dzięki któremu powstały
>> > równoważne wyniki Turinga, Tarskiego i Goedela dotyczące właśnie
>> > zobowiązań ontologicznych dla metajęzyków kolejnych poziomów?
>> > Nigdy o tym nie słyszałem.
>> > Tak Tomuś, właśnie o to mi chodziło. Widzę, że jesteś zorientowany
>> > chłopaku.
>> > Dzięki, że mnie pochwaliłeś Edziu. Poleć mi jakąś fajną książkę na ten
>> > temat.
>> > Dobra:
>> >
>> > Douglas Hofstadter, Goedel, Escher, Bach...
>> >
>> > http://farm1.static.flickr.com/91/279433682_23ac618518_o.jpg
>> > Dzięki Edziu, czy to jest to samo co tutaj?
>> > http://stochastix.files.wordpress.com/2008/05/geb-a-mental-space-odis...
>> >
>> > http://img.amazon.ca/images/I/518QHQrBUIL._SL500_AA240_.jpg
>> >
>> > 
>> > http://www.productwiki.com/upload/images/godel_escher_bach_an_eternal...
>> > Tak, to jest właśnie ta książka, Tomuś.
>> > Acha, dzięki. Przeczytałem od dechy do dechy.
>> > Mnóstwo fajnych obrazków. M.in. ten tutaj:
>> > http://www.mcescher.net/images/dragon.jpg
>> > Przypomina oczywiście motyw z tego obrazka:
>> > http://www.idsia.ch/~juergen/gmlogo9.jpg
>> > Mnóstwo fajnych obrazków z tej książki:
>> > http://www.worldofescher.com/gallery/
>> > Każdy mówi w inny sposób o nieskończonej hierarchii metajęzyków.
>> > Dobrze Tomuś, tylko tak dalej.
>> > Dzięki Edziu. Masz jeszcze jakieś sugestie?
>> > Tak, jedną.
>> >
>> > http://merlin.pl/Wprowadzenie-do-logiki-dla-studentow-wszystkich-kier...
>> > Fajnie. To co z tą duszą. Sprzedajesz?
>> > ;-)

>> dusza -> dusza
>> Weź ją sobie za darmo
>> Mogę Ci naprodukować takich dusz aleph0 albo jeszcze więcej.
>> Chcesz?
>> Możesz ale nie musisz
>> To aksjomat modalny CHCIEĆ.
>> :-)
>> Edward Robak* z Nowej Huty
>> ~>°<~
>> miłośnik mądrości

> Zwykły nieuk.

Niezwykły uk :-)

> I pomyśleć,

Uki nie myślą - lecz kują bezmyślnie. hehe

> że nie poradzili sobie z nim na pl.sci.matematyka.

LP > aleph0
Tego jeszcze nie wiesz, bo nie wkułeś ;)
Robakks
*°"˝'´¨˘`˙.^:;~>¤<×÷-.,˛¸