Computability theory and applications

• Main Author: Khoo, Kai Jun
• Other Authors: Ng Keng Meng
• Format: Final Year Project
• Language: English
• Published: Nanyang Technological University 2023
• Subjects: Science::Mathematics::Mathematical logic
• Online Access: https://hdl.handle.net/10356/166414
• Institution: Nanyang Technological University

In this thesis, we will look at how computability theory can be applied on classical mathematical analysis and general topology. We will specifically look at how to effectivize standard objects in analysis and topology such as the reals, metric spaces and topological spaces by building corresponding...