What is this computer scientist known for?
I am known for my work on the foundations of computation, particularly the concept of computability and the nature of algorithmic processes. My early papers addressed the question of what can be computed and the limits of mechanical procedures. This research laid the theoretical groundwork for the development of digital computers and our understanding of what is algorithmically possible.