Constructive formalism - essays on the foundations of mathematics