Modelle und Theorie Verteilter Systeme

Unser Slogan

Im Laufe der Jahre hat sich für MTV der Slogan Define & Conquer herausgebildet, der sowohl im Forschungs- als auch im Lehrkontext immer wieder bewahrheitet. Dahinter steht natürlich einerseits die Ähnlichkeit zum nicht nur in der Informatik bekannten Prinzip "divide and conquer" (divide et impera). Andererseits ist es in der Theoretischen Informatik – wie wohl auch in der Mathematik – in der Regel so, dass Beweise nur Mittel zum Zweck sind. Der Zweck ist dabei der Beleg, dass die der Theorie zugrunde liegenden Definitionen bzw. das der Realität per Abstraktion zugrunde liegende formale Modell genügend gute Eigenschaften besitzt, so dass man darauf aussagekräftige und praktisch nützliche Theorien aufbauen kann. Nur wer die richtigen Definitionen geschmiedet hat, kann die Realität beherrschen ... im Fall von MTV die Realität Verteilter Systeme.

 

Die üblichen Suchmaschinen zeigen, dass wir nicht die einzigen sind, die diesen Slogan für sich entdeckt haben. Für die Informatik habe es sogar mal einen ebenso genannten Kurs der Deutschen SchülerAkademie.