nastavit jako výchozí stránku
   
   kultura

Caine
 [Kejn], Michael, Sir, *14.3.1933 (Londýn, Velká Británie), vlastním jménem Maurice Joseph...

Marshall
 Rob, *17.10.1960 (Madison, Wisconsin, USA), vlastním jménem Robert Marshall, americký filmový...

Moimir Papalescu & The Nihilists
 Česká pražská hudební skupina založená v létě roku 2003 jako trio ve složení: Moimir Papalescu...

Divokej Bill
 Česká hudební skupina založená v roce 1997 nejprve ve čtyřčlenné sestavě. Během dvou let...

Curtis
 Richard, *8.11.1956 (Velká Británie), britský filmový herec, scenárista a režisér. Prosadil se...


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