- pure correspondence
- мат. чистое соответствие
Большой англо-русский и русско-английский словарь. 2001.
pure correspondence
Смотреть что такое "pure correspondence" в других словарях:
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
Springer correspondence — In mathematics, the Springer representations are certain representations of the Weyl group W associated to unipotent conjugacy classes of a semisimple algebraic group G . There is another parameter involved, a representation of a certain finite… … Wikipedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… … Universalium
Leibniz (from) to Kant — From Leibniz to Kant Lewis White Beck INTRODUCTION Had Kant not lived, German philosophy between the death of Leibniz in 1716 and the end of the eighteenth century would have little interest for us, and would remain largely unknown. In Germany… … History of philosophy
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Charles Sanders Peirce — B … Wikipedia
Darwin from Orchids to Variation — The life and work of Charles Darwin from the publication of Orchids to the publication of Variation during the years between 1860 and 1868 continued with Darwin carrying out his research and experimentation on evolution as he worked sporadically… … Wikipedia
