- reducible correspondence
- мат. приводимое соответствие
Большой англо-русский и русско-английский словарь. 2001.
reducible correspondence
Смотреть что такое "reducible correspondence" в других словарях:
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… … History of philosophy
Peirce, Charles Sanders — American pragmatism Peirce Cheryl Misak INTRODUCTION Charles Sanders Peirce (1839–1914), one of America’s greatest philosophers, mathematicians, and logicians, was a difficult and not altogether pleasant character. That, combined with what the… … History of philosophy
Critical theory — Horkheimer, Adorno, Habermas David Rasmussen HEGEL, MARX AND THE IDEA OF A CRITICAL THEORY Critical theory1 is a metaphor for a certain kind of theoretical orientation which owes its origin to Hegel and Marx, its systematization to Horkheimer and … History of philosophy
History of logic — Philosophy ( … Wikipedia
Descartes: metaphysics and the philosophy of mind — John Cottingham THE CARTESIAN PROJECT Descartes is rightly regarded as one of the inaugurators of the modern age, and there is no doubt that his thought profoundly altered the course of Western philosophy. In no area has this influence been more… … History of philosophy
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
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Noether identities — In mathematics, Noether identities characterize the degeneracy of a Lagrangian system. Given a Lagrangian system and its Lagrangian L, Noether identities can be defined as a differential operator whose kernel contains a range of the… … Wikipedia
Gottfried Leibniz — Infobox Philosopher region = Western Philosophy era = 18th century philosophy color = #B0C4DE |250px image caption = Gottfried Wilhelm Leibniz name = Gottfried Wilhelm Leibniz birth = 1 July (21 June Old Style) 1646, Leipzig, Electorate of Saxony … Wikipedia
Turing degree — Post s problem redirects here. For the other Post s problem , see Post s correspondence problem. In computer science and mathematical logic the Turing degree or degree of unsolvability of a set of natural numbers measures the level of algorithmic … Wikipedia
