Remarks on simple proofs

Abstract

This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization and its relation to the length of proofs, showing that in certain settings simplicity and brevity exclude each other. It is argued that when simplicity is interpreted as purity of method, different foundational standpoints may affect which proofs are considered to be simple and which are not.