ABSTRACT

Proofs and proof theory may be understood in different ways. The aim of this short informal chapter is to sketch where proofs and proof theory come from and fit into logic and other disciplines.