Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Delve into the second lecture of a series exploring the extraction of information from mathematical proofs, presented by Ulrich Kohlenbach as part of the Hausdorff Trimester Program: Types, Sets and Constructions. Gain insights into advanced mathematical concepts and techniques used to analyze and extract valuable information from complex proofs. Explore the intersection of logic, set theory, and constructive mathematics in this 57-minute presentation from the Hausdorff Center for Mathematics.
