Discuss the fundamental theoretical limits of computation as established by Alan Turing and subsequent researchers. Explain the concept of the halting problem and its implications for formal systems. Explore the distinction between decidable and undecidable problems. Analyze the Church-Turing thesis and its philosophical implications for understanding computation. Consider whether quantum computing changes these theoretical limits or merely offers efficiency improvements.