nastavit jako výchozí stránku
   
   kultura

Reinl
 [Rajnl], Harald, *9.7.1908 – †9.10.1986, německý filmový režisér rakouského původu. Byl...

Jackson
 [Džeksn], Michael Joseph, *29.8.1958 (Gary, Indiana) – †25.6.2009 (Los Angeles, Kalifornie...

Milcová
 Pavla, česká písničkářka, textařka a skladatelka. V mládí hrála na basovou kytaru se...

Spacey
 Kevin, *26.7.1959 (South Orange, New Jersey, USA), vlastním jménem Kevin Spacey Fowler, americký...

Monty Python
 Britská komediální skupina založená roku 1969. Její členové (Graham Chapman, John Cleese, Terry...


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.