He has worked on topics of first and second order logic, axiomatic set theory, computability and complexity. Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности.
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 an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation. Для ответа на первый вопрос в теории вычислимости рассматриваются вычислительные задачи, решаемые на различных теоретических моделях вычислений.
Мобильная