... formalization(s) & instrument(s) ... -- ...
a twenty-year-old mathematiciancan have twenty centuries
of mathematics in his mind, because
formalization makes it possible
to acquire accumulated products of non-automatic
inventions, in the form of logical automatisms
that have become practical automatisms ...
life(s)
/ closure(s)
/ reflect(s)
/ fight(s)
/ science of reflexivity
