Logic seminar: Jack Yoon

When:
April 7, 2017 @ 2:30 pm – 3:20 pm
2017-04-07T14:30:00-10:00
2017-04-07T15:20:00-10:00
Where:
Keller 404

The Logic Seminar will meet again this Friday, usual place and time. The speaker will be Jack Yoon.

Title: Proof Mining

Abstract: Proof mining (proof unwinding) is a technique used to extract
constructive information from seemingly non-constructive proofs. We
discuss the idea behind the topic and describe the foundations which
form the basis for proof mining.