dalsi priklad zo skusky.. 02

Uživatelský avatar
laliebijard
Matfyz(ák|ačka) level III
Příspěvky: 168
Registrován: 8. 6. 2005 10:26
Typ studia: Informatika Mgr.

Příspěvek od laliebijard »

Ja som cital, ze PL1 je uplna. Ale to som len vygooglil :)
"posteľ sa rozbieha po koľajniciach z modrého medu"

Breton
Uživatelský avatar
dr.Bik
Matfyz(ák|ačka) level II
Příspěvky: 73
Registrován: 9. 6. 2005 14:13
Typ studia: Informatika Bc.
Bydliště: Prágl
Kontaktovat uživatele:

Příspěvek od dr.Bik »

jo, !uzavrenou formuli!, mas pravdu
(Vx)(x=0)
1+1=0 je uzavrena


Kdyz je to takhle, tak v tom asi rozdil bude (nebo ta skripta nejsou bezesporna :) )

Podle me jde o to, ze uplny se tam pouziva ve dvou vyznamech, u formalniho systemu jde o ekvivalenci |- a |=, kdezto u teorii se jedna o definici uplnosti
Jednou z hlavních příčin zániku Římského imperia bylo, že bez nuly nemohli Římané ohlásit úspěšné ukončení svých céčkových programů.
Uživatelský avatar
Trupik
Matfyz(ák|ačka) level III
Příspěvky: 251
Registrován: 3. 1. 2005 14:45
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Příspěvek od Trupik »

MyS píše:
dr.Bik píše:Vezmu formuli (je to PL s rovnosti) x=0
Ale pozor, musis vzit UZAVRENOU formuli (def. uplny teorie)...
co vzit misto x=0 formuli (Vx)(x=0) ... je uzavrena, v aritmetice neplati, ale treba v modelu, kde zadny individua krome 0 nemam plati, ne?

herdek, nejak jsem si nevsim posledni odpovedi... takze se trochu opakuju
Domovská stránka: http://www.jakubmaly.cz/, blog: http://blog.jakubmaly.cz/
Petice proti olympiádě http://olympiada.nazory.cz

Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
Uživatelský avatar
laliebijard
Matfyz(ák|ačka) level III
Příspěvky: 168
Registrován: 8. 6. 2005 10:26
Typ studia: Informatika Mgr.

Příspěvek od laliebijard »

To znie rozumne, asi to tak bude...
"posteľ sa rozbieha po koľajniciach z modrého medu"

Breton
Uživatelský avatar
Dawe
Supermatfyz(ák|ačka)
Příspěvky: 360
Registrován: 12. 10. 2004 12:32
Typ studia: Informatika Mgr.
Bydliště: Doma a nebo na koleji

Příspěvek od Dawe »

http://axpsu.fpf.slu.cz/~vav10ui/obsahy ... logika.pdf
Tohle vypadá jako celkem věrohodný zdroj...

Jinak když se to vezme tak nějak abstraktně, tak pokud mám uzavřenou formuly, je pro jakékoliv ohodnocení vždy buď pravdivá či nikoliv (ohodnocení nemá vliv na výsledek). To znamená, že pak buď ta formule vždy platí a nebo ne, pak |-A nebo |-nonA a jinak nelze.
To že je bezesporná plyne z jakýsi věty T má model -> je bezesporná -> PL je bezesporná
Uživatelský avatar
Trupik
Matfyz(ák|ačka) level III
Příspěvky: 251
Registrován: 3. 1. 2005 14:45
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Příspěvek od Trupik »

Dawe píše:http://axpsu.fpf.slu.cz/~vav10ui/obsahy ... logika.pdf
Tohle vypadá jako celkem věrohodný zdroj...

Jinak když se to vezme tak nějak abstraktně, tak pokud mám uzavřenou formuly, je pro jakékoliv ohodnocení vždy buď pravdivá či nikoliv (ohodnocení nemá vliv na výsledek). To znamená, že pak buď ta formule vždy platí a nebo ne, pak |-A nebo |-nonA a jinak nelze.
To že je bezesporná plyne z jakýsi věty T má model -> je bezesporná -> PL je bezesporná
Ale muze mit vliv mnozina individui, ne?
Domovská stránka: http://www.jakubmaly.cz/, blog: http://blog.jakubmaly.cz/
Petice proti olympiádě http://olympiada.nazory.cz

Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
Uživatelský avatar
MyS
Donátor
Donátor
Příspěvky: 178
Registrován: 22. 9. 2004 00:13
Typ studia: Informatika Bc.
Bydliště: The city of Dobříš
Kontaktovat uživatele:

Příspěvek od MyS »

Dawe píše:http://axpsu.fpf.slu.cz/~vav10ui/obsahy ... logika.pdf
Tohle vypadá jako celkem věrohodný zdroj...
Pise se tam (8.str), ze:
VL,PL 1. radu jsou uplne (tj. to je ten dukaz pres ty Henkinovy uplne teorie)
Teorie na nich postavene nemusi byt uplne (coz je ten dr.Bikuv protipriklad)
Dale VL je rozhodnutelna, PL neni.
Opravdu nechapu, proc to u stepanka nemuze bejt receno jasne. Tam je jakakoliv myslenka udusena teorii a dukazy. Ostatne jako u vetsiny veci tady na skole.
We don't need no education!
Uživatelský avatar
hydrant
Matfyz(ák|ačka) level III
Příspěvky: 196
Registrován: 4. 1. 2005 12:50
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Příspěvek od hydrant »

No mne je to uz jasne. Proste nie je uplna lebo dr.Bik dal protipriklad. VDAKA a ak to chce niekto vydiet v skryptach tak strana 88 stat 4.17
Uživatelský avatar
dr.Bik
Matfyz(ák|ačka) level II
Příspěvky: 73
Registrován: 9. 6. 2005 14:13
Typ studia: Informatika Bc.
Bydliště: Prágl
Kontaktovat uživatele:

Příspěvek od dr.Bik »

Dawe píše:Jinak když se to vezme tak nějak abstraktně, tak pokud mám uzavřenou formuly, je pro jakékoliv ohodnocení vždy buď pravdivá či nikoliv (ohodnocení nemá vliv na výsledek). To znamená, že pak buď ta formule vždy platí a nebo ne, pak |-A nebo |-nonA a jinak nelze.
No, ja si prave myslim, ze tam do toho mluvi realizace. Podle vety o korektnosti totiz kdyz je dokazatelna, tak je pravdiva v kazde interpretaci jazyka, neboli, kdyz neni pravdiva v kazde interpretaci jazyka, tak neni dokazatelna...

Je v tom bordel
Jednou z hlavních příčin zániku Římského imperia bylo, že bez nuly nemohli Římané ohlásit úspěšné ukončení svých céčkových programů.
Uživatelský avatar
Dawe
Supermatfyz(ák|ačka)
Příspěvky: 360
Registrován: 12. 10. 2004 12:32
Typ studia: Informatika Mgr.
Bydliště: Doma a nebo na koleji

Příspěvek od Dawe »

To teda je, tak já už teda nevím :-( NO snad tam toho bude dost z praxe a ta je celkem jednoznačná. Člověk může dokázat úplnost i neúplnost a oba důkazy jsou korektní, to je zajímavý :-)
Uživatelský avatar
dr.Bik
Matfyz(ák|ačka) level II
Příspěvky: 73
Registrován: 9. 6. 2005 14:13
Typ studia: Informatika Bc.
Bydliště: Prágl
Kontaktovat uživatele:

Příspěvek od dr.Bik »

Nuz, argumenty zcela selhaly. Myslim, ze je cas na nemilosrdny, iracionalni flame... :D
Jednou z hlavních příčin zániku Římského imperia bylo, že bez nuly nemohli Římané ohlásit úspěšné ukončení svých céčkových programů.
Caparzzo
Matfyz(ák|ačka) level I
Příspěvky: 12
Registrován: 18. 1. 2005 14:11
Typ studia: Informatika Bc.
Bydliště: Turzovka(SVK)
Kontaktovat uživatele:

Příspěvek od Caparzzo »

http://www.phil.muni.cz/fil/logika/pl.php

Tak podľa tu toho:
PL1 je úplná, bezesporná, ale nie je rozhodnuteľná
PL2 je bezesporná, ale nie je úplná
Uživatelský avatar
hydrant
Matfyz(ák|ačka) level III
Příspěvky: 196
Registrován: 4. 1. 2005 12:50
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Příspěvek od hydrant »

Caparzzo píše:http://www.phil.muni.cz/fil/logika/pl.php

Tak podľa tu toho:
PL1 je úplná, bezesporná, ale nie je rozhodnuteľná
PL2 je bezesporná, ale nie je úplná
necital som to, ale mozno maju inak definovanu uplnost.... a my sme rozhodnutelnost tusim vobec nemali.... takze ak to nemusi odporovat s tym, ze podla nasej definicie PL nie je uplna

SKUSTE radsej niekde najst odpoved na 4 otazku... v testoch byva bezna. Ja som ju nasiel aj v pisomkovom teste a mal som to aj na zapoctovej pisomke
a stale to neviem D:
Odpovědět

Zpět na „2005“