Ershov Y., Nerode A., Goncharov S. — Handbook of recursive mathematics. Vol. 1: Recursive model theory
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Handbook of recursive mathematics. Vol. 1: Recursive model theory
Авторы: Ershov Y., Nerode A., Goncharov S.
Аннотация:
Recursive or Computable Mathematics is the study of the effective or computable content of the techniques and theorems of Mathematics. Recursive
Mathematics has been an active area of research for the last 25 years. Its
tools are the techniques of modern Computability Theory. These tools have
been applied to analyze the effective content of results in a wide variety of
mathematical fields including Algebra, Analysis, Topology, Combinatorics,
Logic, Model Theory, Algebraic Topology, and Mathematical Physics.
|
|
О проекте