| 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. | Совместно с Клодом Шенноном Мур проделал плодотворную работу по теории вычислимости и построении надёжных схем с использованием менее надёжных реле. |
| In it he stated another notion of "effective computability" with the introduction of his a-machines (now known as the Turing machine abstract computational model). | В ней он задал понятие «эффективной вычислимости» по другому, с введением его а-машин (теперь они известны как абстрактная вычислительная модель машины Тьюринга). |
| He has worked on topics of first and second order logic, axiomatic set theory, computability and complexity. | Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности. |