An Effective and Adequate Theory of Real Computation with Applications

Explore an in-depth lecture on the theory of real computation and its practical applications in scientific and engineering disciplines. Delve into the challenges of developing a comprehensive theory for numerical algorithms and real number computations. Examine existing theories, their limitations in adequacy and effectiveness, and discover a proposed approach to address these issues. Learn how this new theoretical framework enables the transformation of abstract mathematical problems into solvable computational problems with certifiably correct algorithms and supports complexity analysis. Gain insights into the potential applications of this theory across various fields of study.

Chee Yap: An Effective and Adequate Theory of Real Computation, with Applications #ICBS2024