Proof Mining in Bounded Arithmetic
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
Explore proof mining techniques in bounded arithmetic through this 44-minute lecture by Amirhossein Akbar Tabatabai, presented as part of the Hausdorff Trimester Program: Types, Sets and Constructions. Delve into the computational content of proofs, examining the canonical algorithm, language complexities, and computational reductions. Investigate the main lemma and theorem, focusing on the computability of characteristic functions. Gain insights into practical applications of these concepts in the field of mathematical logic and theoretical computer science.
Syllabus
Intro
The Computational Content
Proof Mining
The Canonical Algorithm
The language
Complexity Classes
Computational Reductions
The Main Lemma
Computability of Characteristic Functions
The proof of the Main Theorem
Applications II
Taught by
Hausdorff Center for Mathematics
Related Courses
Computability, Complexity & AlgorithmsGeorgia Institute of Technology via Udacity Paradox and Infinity
Massachusetts Institute of Technology via edX Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity Introduction to Computer Science and Programming
Tokyo Institute of Technology via edX Theory of Computation
YouTube