nastavit jako výchozí stránku
   
   kultura

Vávra
 Otakar, *28.2.1911 (Hradec Králové, Rakousko-Uhersko) – †15.9.2011 (Praha), významný český...

Gajerová
 Naděžda, *11.3.1928 (Brno), rodným jménem Naděžda Mauerová, česká herečka, libretistka, textařka...

Black milk
 [Blek milk, anglicky černé mléko], české dívčí pěvecké trio založené roku 2002 a tvořené...

Jelínek
 Rudolf, *27.2.1935 (Kutná Hora), český herec. V mládí hrál v ochotnickém spolku, v ...

Robbe-Grillet
 [Robgrijé], Alain, *18.8.1922 (Brest, Finistere, Francie) – †18.2.2008 (Caen, Calvados...


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.