nastavit jako výchozí stránku
   
   kultura

Burian
 Vlasta, *9.4.1891 (Liberec) – †31.1.1962 (Praha), vlastním jménem Josef Vlastimil Burian...

Wyler
 [Vajlr], William, *1.7.1902 (Mulhausen, tehdy německé Alsasko) – † 27.7.1981 (Beverly Hills...

Kopecký
 Miloš, *22.8.1922 (Praha) – †16.2.1996 (Praha), český herec. Nedokončil gymnaziální studia...

Hirschbiegel
 Oliver, *26.3.1957 (Hamburk, Německo), německý filmový a televizní režisér a příležitostný...

Moskalyk
 Antonín, *11.11.1930 (Chust, Podkarpatská Rus, dnešní Ukrajina) – †27.1.2006 (Brno), významný...


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 - 2019, OPTIMUS s.r.o.