Posted By: Koles (http://guide.terminal.cz/) on 'CZphilosophy'
Title:     Re: Teorie a model po matematicku :-)
Date:      Thu Feb 20 10:47:27 1997


Pozor - jeste delsi quoting nez v predchozim postu!

> Matematickou teorii (B) asi minis system axiomu, pokud jsem aspon trochu v 
> obraze. Zatimco model (A) je nejake omezeni se na objekty urciteho typu, 
> ktere slouzi jako reprezentace (B).

Tak tak.

> To jsou ale paradoxy. Stejne bych ti byl vdecen, abys trochu osvetlil, jak 
> mohou vypadat ruzne modely pro jeden system axiomu a do jake miry je
> identita techto modelu dana jinymi systemy axiomu nebo jestli je nezavisla 
> apod. 

Ted si nejsem jisty, na co se me vlastne ptas.
Jestli staci jen priklad na ruzne modely pro jeden system axiomu, tak si vem 
treba dve ruzne grupy - a hned mas dva modely teorie (neboli systemu axiomu) 
grup :) 

> Je konzistence totez, jako ze existuje model, nebo je jen jedno 
> podmnozinou druheho? 

Ano, je to totez ... sice to neni primo definice, ale vyjde to nastejno.

>     /// O __        Your Lumidek.  mailto:lmot2220@menza.mff.cuni.cz

    Pavel

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