How did formal logic influence your work?
Formal logic and mathematical rigor are central to my approach. I sought to establish precise definitions for abstract concepts like 'algorithm' and 'computable number'. By translating intuitive notions into formal systems, I could rigorously prove theorems about their properties and limitations. This analytical method is crucial for understanding the fundamental capabilities and boundaries of computation.