- predicative extension
- мат. предикативное расширение
Большой англо-русский и русско-английский словарь. 2001.
predicative extension
Смотреть что такое "predicative extension" в других словарях:
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
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
English language — Language belonging to the Germanic languages branch of the Indo European language family, widely spoken on six continents. The primary language of the U.S., Britain, Canada, Australia, Ireland, New Zealand, and various Caribbean and Pacific… … Universalium
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… … Wikipedia
STRAWSON (P. F.) — Né en 1919, fellow de l’université d’Oxford où il fit ses études (St. John’s College), Peter Frederick Strawson est l’un des auteurs dominants de la philosophie dite du langage ordinaire, qui procède, pour ses prémisses, du second Wittgenstein,… … Encyclopédie Universelle
adjective — 1. general. The term adjective was itself an adjective for a hundred years before it became used as a noun for one of the parts of speech. Joseph Priestley, in The Rudiments of English Grammar (1761), was perhaps the first English grammarian to… … Modern English usage
Phenomenology (The beginnings of) — The beginnings of phenomenology Husserl and his predecessors Richard Cobb Stevens Edmund Husserl was the founder of phenomenology, one of the principal movements of twentieth century philosophy. His principal contribution to philosophy was his… … History of philosophy
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
