Posted By: snake (snake) on 'CZphilosophy'
Title:     Re: Matematicke modely
Date:      Fri Feb 21 17:14:56 1997

Cau lidi!

Protoze jsem strasny rypal a nemam zadnou fantasii na vytvoreni vlastnich 
postu, rad bych alespon opravil chyby v tomto:-) :

> Pokud v matematicke logice vytvaris nejakou teorii, potrebujes presne 
> specifikovat jeji jazyk - tj. pouzite predikaty, konstanty a funkce. 
> Napriklad jazyk teorie mnozin se sklada ze symbolu pro prazdnou mnozinu, 
                                                       ^^^^^^^^^^^^^^^^^^
to neni pravda, protoze prazdna mnozina vznika az po vsech axiomech (konkretne 
po axiomu existence, popr. tzv. druhe verze axiomu nekonecna a jeste axiomu 
vydeleni). Tyto axiomy nam zarucuji existenci alespon jednu mnozinu, ze ktere 
muzeme vydelit prazdnou mnozinu. Protoze takova mnozina muze byt jen jedna 
(axiom extensionality), jsme opravneni ji oznacit nulou... 

> z relace "byt prvkem" a z relace rovnosti.
> Naproti tomu metajazyk je jazyk, ktery pouzivame, kdyz o tomto jazyku
> mluvime.
> slov" - diagonalni metodou pak konecne slovy sestrojime cislo, ktere v one 
> mnozine lezet nemuze :) Vysvetleni: mnozinu jsem definovali nekorektne,
> pomoci 
> jazykovych konstrukce v jazyku prislusne matematicke teorie nepopsatelnych.

Bohuzel, ani to neni presne. Nevim, jestli myslime to same, ale pokud narazis 
na toto: "Budiz n nejmensi cislo, ktere nelze zapsat mene nez 30 slovy", tak 
spor je prave v definici, ktera obsahuje mene nez 30 slov, ale s diagonalni 
metodou nesouvisi. Jestli se pletu, tak mne opravte...

Bye, 

snake 

> 
>    Pavel
> 
> ---
>              Kabalisticke uceni nam rika, ze jediny krach je vnitrni,       
> 
>                    nepocitame-li ten vnejsi... 
>