Symbolische Maschinen - die Idee der Formalisierung in geschichtlichem Abriß