| In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation. | Для ответа на первый вопрос в теории вычислимости рассматриваются вычислительные задачи, решаемые на различных теоретических моделях вычислений. |
| 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). | В ней он задал понятие «эффективной вычислимости» по другому, с введением его а-машин (теперь они известны как абстрактная вычислительная модель машины Тьюринга). |
| 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. | Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности. |