Konzervatívne rozšírenie - Biblioteka.sk

Upozornenie: Prezeranie týchto stránok je určené len pre návštevníkov nad 18 rokov!
Zásady ochrany osobných údajov.
Používaním tohto webu súhlasíte s uchovávaním cookies, ktoré slúžia na poskytovanie služieb, nastavenie reklám a analýzu návštevnosti. OK, súhlasím


Panta Rhei Doprava Zadarmo
...
...


A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Konzervatívne rozšírenie

Teória je konzervatívnym rozšírením teórie ak sú splnené nasledujúce tri podmienky:

  • jazyk teórie je nadjazykom jazyka teórie ,
  • všetky formule dokázateľné v sú dokázateľné aj v ,
  • všetky formule v jazyku teórie ktoré sú dokázateľné v teórii sú dokázateľné aj v teórii .

Voľne povedané, konzervatívne rozšírenie teórie je také jej rozšírenie ktoré ju neobohatí o žiadnu novú teorému sformulovateľnú v jej jazyku.

Vzťah k bezospornosti

Pojem konzervatívneho rozšírenia hrá v logike doležitú úlohu hlavne kvôli platnosti nasledujúceho tvrdenia:

Veta: Konzervatívne rozšírenia bezosporných teórií sú bezosporné.

Keďže konzervatívnymi rozšíreniami nemožno vniesť do teórií nové spory, možno pomocou nich konštruovať rozsiahle bezosporné teórie: z preukázateľne bezospornej teórie sa konzervatívnym rozšírením konštruuje bezosporná teória z nej atď.

Zdroj:
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Zdroj: Wikipedia.org - čítajte viac o Konzervatívne rozšírenie





Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.

Your browser doesn’t support the object tag.

www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk