nastavit jako výchozí stránku
   
   kultura

Scott
 [Skot], Ridley, Sir, *30.11.1937 (South Shields, Tyne and Wear, Velká Británie), významný britský...

Pink Floyd
 Britská hudební skupina vzniklá roku 1966 v Londýně postupnou změnou názvů T-Set, Megadeaths či...

Washington
 [Vošingtn], Denzel, *28.12.1954 (Mount Vernon, New York, USA), americký filmový a televizní...

Sun-c'
 Mistr Sun, Sun Wu, Válečník Sun, Sun Tzu – *asi 6. – †5. století př.n.l., čínský...

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


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.