nastavit jako výchozí stránku
   
   kultura

Falk
 Peter, *16.9.1927 (New York, USA) – †23.6.2011 (Beverly Hills, Kalifornie, USA), vlastním...

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

Crowe
 [Krau], Cameron, *13.7.1957 (Palm Springs, Kalifornie, USA), americký filmový scenárista, režisér...

Bruckheimer
 Jerry, *21.9.1945 (Detroit, Michigan, USA), vlastním jménem Jerome Leon Bruckheimer (přezdívkou Mr...

Ostravak Ostravski
 Český ostravský spisovatel, jehož pravá identita není známá. Autor deníku psaného ostravským...


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.