The wealth of the material at the skeleton of the formal

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. Here we consider this dependencies on the real world. (pdf)

Die Fülle des Konkreten am Skelett des Formalen -

Über Abstraktion und Konkretisierung im algorithmischen Denken und Tun

Zusammenfassung

Die verschiedenen Abstraktionsebenen, vom Anwendungsmodell über verschiedene formale Spezifikations- und Softwareebenen bis zum binären Prozessorbefehl sind ein gut untersuchtes Feld im Software-Engineering. Doch die Quantifizierung und Formalisierung markiert nur den Weg in die Maschine und damit nur die Hälfte der Strecke. Im Vollzug des Rechnens findet eine Konkretisierung und Rekontextualisierung des Formalen statt. Zeichen werden rücktransformiert in Kontingenz und wahrnehmbare Qualität. Während im Zuge der Abstraktion eine radikale Säuberung des modellierten Weltausschnitts erfolgt die alles Sinnliche entfernt, sehen wir beim Prozessieren der Algorithmen die Umkehrung. Das nackte Skelett wird wieder angereichert und die ganze Fülle an Gedanken, Gefühlen und Interpretationsmöglichkeiten entfaltet sich aufs Neue. Doch wird nicht zurückgepackt was ehemals weggenommen wurde, sondern Anderes, das sich aus unterschiedlichen Quellen speist. Hier, in den Leerstellen der formalen Beschreibungen, nisten wesentliche Anteile des Reichtums, der Vielfalt und Qualität des Digitalen. Das Formale und das Konkrete dürfen aber nicht als Widersacher im Ringen um Fülle und Ästhetik betrachtet werden, sie bilden ein kraftvolles Gespann.

Kluger Umgang könnte darin bestehen, die prinzipiellen Grenzen und Möglichkeiten des Formalen zu kennen, sich der instrumentellen Vernunftaber nicht auszuliefern, sondern sie in ihrer Wechselwirkung mit dem Konkreten zu untersuchen und fruchtbar zu machen.