In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation. |
Для ответа на первый вопрос в теории вычислимости рассматриваются вычислительные задачи, решаемые на различных теоретических моделях вычислений. |
These authors hold that the probabilistic nature of quantum physics is not necessarily incompatible with the notion of computability. |
Эти авторы считали, что несомненно вероятностная природа квантовой физики не обязательно является несовместимой с идеей вычислимости. |
With Claude Shannon he did seminal work on computability theory and built reliable circuits using less reliable relays. |
Совместно с Клодом Шенноном Мур проделал плодотворную работу по теории вычислимости и построении надёжных схем с использованием менее надёжных реле. |
The latter work, widely distributed in academic computer science, uses the concept of Busy Beaver Numbers as described by Tibor Radó to illustrate the limits of computability in a pedagogic environment. |
Последняя работа, широко разошедшаяся в академических кругах, использует концепцию чисел усердного бобра (англ.) в виде, использованном Тибором Радо (англ.) для демонстрации ограничений вычислимости в педагогической обстановке. |
He has worked on topics of first and second order logic, axiomatic set theory, computability and complexity. |
Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности. |