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
... read more