nastavit jako výchozí stránku
   
   kultura

Kline
 [Klajn], Kevin, *24.10.1947 (St. Louis, Missouri, USA), vlastním jménem Kevin Delaney Kline...

Reno
 Jean, *30.7.1948 (Casablanca, Maroko), vlastním jménem Don Juan Moreno y Jederique Jimenez...

Brown
 [Braun], James, *3.5.1933 (Augusta, Georgia) – †25.12.2006, americký černošský zpěvák. Ve...

Fiala
 Karel, *3.8.1925 (Ostrava), český herec a zpěvák (tenor). Vyučen kominíkem, studoval operní...

Eco
 Umberto, *5.1.1932 – †19.2.2016, italský sémiolog, estetik a spisovatel, profesor 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 - 2018, OPTIMUS s.r.o.