-
1 предикативный анализ
Linguistics: predicative analysisУниверсальный русско-английский словарь > предикативный анализ
См. также в других словарях:
Criticism of non-standard analysis — Non standard analysis and its offshoot, non standard calculus, have been criticized by several authors. The evaluation of non standard analysis in the literature has varied greatly. Joseph Dauben described it as a scientific revolution, while… … Wikipedia
Ordinal analysis — In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that… … Wikipedia
Hermann Weyl — Infobox Scientist box width = name = Hermann Klaus Hugo Weyl image size = caption = Hermann Weyl (left) and Ernst Peschl (right) birth date = Birth date|1885|11|9|df=y birth place = Elmshorn, Germany death date = Death date and… … Wikipedia
Paul Lorenzen — Infobox Scientist name=Paul Lorenzen birth date = March 24 1915 death date = October 1 1994 fields = Philosophy, MathematicsPaul Lorenzen (born March 24, 1915 in Kiel, Germany died October 1, 1994 in Göttingen, Germany) was a philosopher and… … Wikipedia
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
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
Otomi language — Otomi Hñähnü, Hñähño, Hñotho, Hñähü, Hñätho, Yųhų, Yųhmų, Ñųhų, Ñǫthǫ, Ñañhų Otomi market … 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
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
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
Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… … Wikipedia