nastavit jako výchozí stránku
   
   kultura

Adamová
 Jaroslava, *15.3.1925 (Praha, Československo) – †16.6.2012 (Praha, Česká republika), česká...

Ashby
 [Ešby], Hal, *2.9.1929 (Ogden, Utah, USA) – †27.12.1988 (Malibu, Kalifornie, USA), americký...

Bárta
 Daniel, *14.12.1969 (Karlovy Vary), český zpěvák, herec a fotograf. Byl členem skupin Alice...

Schumacher
 [Šumachr], Joel, *29.8.1939 (New York, USA), americký filmový režisér, scenárista a kostýmní...

Blood, Sweat and Tears
 [Blad svet end týrz, anglicky krev, pot a slzy], americká hudební rocková a později...


axiomatizovatelnost
[Řečtina], vlastnost teorie (množiny vět) spočívající v tom, že existuje taková její podmnožina A, která spolu se svými důsledky tvoří původní množinu vět (teorii). Je-li množina axiómů A konečná, teorie je konečně axiomatizovatelná. Splňuje-li axiomatizovatelná teorie podmínku úplnosti a bezespornosti, pak je rozhodnutelná, to jest pro každou její větu (negaci věty) existuje důkaz.


 
Vytvořeno: 14.3.2000
Aktualizováno: 25.5.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2017, OPTIMUS s.r.o.