Women in Logic Online with Rosalie lemhoff

Описание: The Use and Misuse of Proof Systems
Proof systems, systems of axioms and inference rules, have a long history, going back to ancient times. Early on they mainly occurred in mathematics, but nowadays they are being used also in other fields, such as computer science, linguistics, and philosophy. The way in which proof systems are used differs per area, which is why there exist a great variety of proof systems, each tailored for the specific application it is meant for. In this talk, I will discuss proof systems in general and address the topics just mentioned (no knowledge of proof systems is assumed). We will see settings for which the proof-theoretic view is well-suited, and others for which the proof-theoretic approach may not be the best method of investigation.
The slides are available here: https://drive.google.com/file/d/1E_5N...