nastavit jako výchozí stránku
   
   kultura

Svoboda
 Karel, *19.12.1938 (Praha) – †28.1.2007 (Jevany, sebevražda), český hudební skladatel...

Abraxas
 Česká hudební rocková skupina vzniklá v roce 1976 a hrající dnes ve složení: Slávek Janda...

Truffaut
 [Tryfó], François, *6.2.1932 (Paříž, Francie) – †21.10.1984 (Neuilly-sur-Seine u Paříže...

A* Teens
 Švédská vokální skupina založená roku 1998 pod názvem ABBA-Teens. Tvoří ji Sara Helena Lumholdt (*25...

Depardieu
 [Depardje], Gérard, *27.12.1948 (Châteauroux, Indre, Francie), francouzský filmový a divadelní...


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 - 2018, OPTIMUS s.r.o.