nastavit jako výchozí stránku
   
   kultura

Divadlo Járy Cimrmana
 Česká divadelní společnost založená roku 1967 z popudu Jiřího Šebánka. Zakládajícími členy byli...

Duchovny
 David, *7.8. 1960 (New York, USA), vlastním jménem David William Duchovny, americký televizní a ...

Moskalyk
 Antonín, *11.11.1930 (Chust, Podkarpatská Rus, dnešní Ukrajina) – †27.1.2006 (Brno), významný...

Ondříček
 David, *23.6.1969 (Praha, Česká republika), český filmový režisér a producent. Je synem...

Tříska
 Jan, * 4.11.1936 (Praha, Československo) – † 25.9.2017 (Praha, Česká republika), český...


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.