About abstraction and concretization in our algorithmic thinking and doing.
Quantification, formalization, and functionalization of our lifeworld are marking the way of the concrete into the machine. But in the process of calculation the phenomenons and contingencies come back. Signs are retransformed into ambiguity and perceivable quality. Here we consider this dependencies between the fulness and the formal.