nastavit jako výchozí stránku
   
   kultura

Visací zámek
 Česká hudební punková skupina vzniklá roku 1982. Dodnes hraje v původní sestavě: Jan Haubert...

Minghella
 Anthony, *6.1.1954 (Ryde, ostrov Wight, Velká Británie) – †18.3.2008, britský filmový režisér...

Brathanki
 Polská hudební skupina založená roku 1998 ve složení Janusz Mus (akordeon), Jacek Królik (kytara...

Hayek
 [Hajek], Salma, *2.9.1966 (Coatzacoalcos, Veracruz, Mexiko), vlastním jménem Salma Hayek Jimenez...

Jankovskij
 Oleg, *23.2.1944 (Saratov, Kazaschstán, Sovětský svaz) – †20.5.2009 (Moskva, Rusko, na...


axióm reducibility
logika. předpoklad B. Russella, že ke každé výrokové funkci libovolného stupně existuje formálně ekvivalentní výroková funkce prvního stupně, na kterou se dá redukovat. Tento mimologický axióm rozvětvené teorie typu byl s přechodem k jednoduché teorii typu eliminován. Viz také teorie typů.


 
Vytvořeno: 14.3.2000
Aktualizováno: 31.8.2002
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.