nastavit jako výchozí stránku
   
   kultura

Kulhánek
 Jiří, *31.12.1967 (Brandýs nad Labem), český spisovatel, autor knih na pomezí žánru sci-fi a ...

Stone
 [Stoun], Sharon, *10.3.1958 (Meadville, Pensylvánie, USA), americká filmová herečka. Studovala...

Blunt
 James, *22.2.1977 (Tidworth, Wiltshire), vlastním jménem James Blount, britský písničkář. Pochází...

Liu
 Lucy, *2.12.1968 (Queens, New York, USA), vlastním jménem Lucy Alexis Liu, americká filmová herečka...

Rickman
 [Rikmen], Alan, *21.2.1946 (Londýn, Velká Británie), vlastním jménem Alan Sidney Patrick Rickman...


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.