*Simple proofs*

Rosalie Iemhoff, Utrecht University

09:30-10:00 Thursday April 4

[slides, video]

Beauty and simplicity play an important role in the design of proof systems.
Even to the effect that forms of inference that lack them are usually treated with
caution. In proof theory one can distinguish simple from complex proofs in a
precise and fundamental way. On the other hand, many elementary questions
regarding the form of proofs remain open. This talk will be about simplicity
and complexity in proof theory.

Close