Was Q92894's work on computability too theoretical?
Some might argue that early theoretical work, by its nature, appears distant from immediate application. However, the formal definitions of computability and decidability I helped establish are precisely what allow us to understand the fundamental limits of what computers can and cannot do. This theoretical foundation is crucial for designing practical systems and for recognizing the inherent complexity of problems we encounter.