- recursive transcendence
- мат. рекурсивная трансцендентность
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Christopher McKitterick — Born July 1967 Florida, United States Occupation Author, editor, professor Nationality United States … Wikipedia
Nominalism — is a metaphysical view in philosophy according to which general or abstract terms and predicates exist, while universals or abstract objects, which are sometimes thought to correspond to these terms, do not exist.[1] Thus, there are at least two… … Wikipedia
Nyaya — Part of a series on Hindu philosophy … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
William Gibson — Infobox Writer name = William Gibson imagesize = 300px caption = William Gibson in August 2007 birthdate = birth date and age|mf=yes|1948|3|17 birthplace = Conway, South Carolina occupation = Novelist citizenship = United States, Canada period =… … Wikipedia
List of mathematical proofs — A list of articles with mathematical proofs:Theorems of which articles are primarily devoted to proving them: See also: *Bertrand s postulate and a proof *Estimation of covariance matrices *Fermat s little theorem and some proofs *Gödel s… … Wikipedia
Dasein — See also: Heideggerian terminology To be or not to be, Casa das Ciencias, A Coruña Dasein (German pronunciation: [ˈdaːzaɪn]) is a German word famously used by Martin Heidegger in his magnum opus Being and Time … Wikipedia