Title: Die formale Orientierung der Informatik