YoVDO

Ulrich Kohlenbach: Extraction of Information from Proofs

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Mathematical logic Courses

Course Description

Overview

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.

Syllabus

Ulrich Kohlenbach: Extraction of Information from Proofs (Lecture II)


Taught by

Hausdorff Center for Mathematics

Related Courses

Introduction to Logic
Stanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX