nastavit jako výchozí stránku
   
   kultura

Pratchett
 Terry, *28.4.1948 (Beaconsfield), plným jménem Terence David John Pratchett, anglický spisovatel...

Hunebelle
 [Űnbel], André, *1.9.1896 (Meudon, Francie) -†27.11.1985 (Nice, Francie), francouzský filmový...

Nolan
 Christopher, *30.7.1970 (Londýn, Velká Británie), vlastním jménem Christopher Johnathan James Nolan...

Michalkov
 Nikita, *21.10.1945 (Moskva, Sovětský svaz), vlastním jménem Nikita Sergejevič Michalkov, významný...

Dudek
 Jaroslav, *17.1.1932 (Trutnov) – †31.8.2000 (Praha), český režisér. Po studiích režie na...


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.