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.