Zuses Plankalkül

Technisch ist Plankalkül bedeutsam, weil Programmierung als eigene formale Notation erscheint. Eine solche Notation muss ausdrücken können, mit welchen Daten gearbeitet wird, welche Ausdrücke gebildet werden, unter welchen Bedingungen etwas geschieht und welche Schritte einen Ablauf bilden. Damit werden Grundfragen späterer Programmiersprachen sichtbar.

Diese Struktur unterscheidet sich von einer bloßen Beschreibung in Alltagssprache. Ein Programm muss eindeutig sein. Wenn ein Ausdruck, eine Bedingung oder eine Wiederholung unterschiedlich verstanden werden kann, ist keine verlässliche Ausführung möglich. Programmiersprachen brauchen deshalb Syntax und Semantik: Schreibregeln und Bedeutungsregeln.

Für E3 ist diese technische Struktur unmittelbar anschlussfähig. Variablen, Operatoren, Bedingungen, Schleifen und Methoden in Java sind spätere Sprachmittel derselben Grundaufgabe. Sie beschreiben Daten und Abläufe so, dass ein Werkzeug sie prüfen, übersetzen und ausführen kann.

Plankalkül ist historisch besonders interessant, weil seine Bedeutung zunächst stärker im Entwurf als in breiter praktischer Nutzung liegt. Nicht jede wichtige Station der Programmiersprachen-Geschichte wird sofort zu einem verbreiteten Werkzeug. Manchmal besteht die Leistung darin, eine neue Denkform überhaupt präzise zu formulieren.

Diese Materialisierung unterscheidet Plankalkül von späteren Hochsprachen wie FORTRAN. FORTRAN wird in realen wissenschaftlich-technischen Arbeitszusammenhängen praktisch wirksam. Plankalkül zeigt dagegen früher, dass eine höhere formale Programmbeschreibung möglich gedacht werden kann. Die Idee ist der Praxis voraus.

Für die Lineage ist diese Rolle wichtig. Sie verhindert eine reine Erfolgsgeschichte verbreiteter Sprachen. Programmiersprachen entstehen auch aus Entwürfen, Konzepten und Notationen, die spätere Entwicklungen vorbereiten. E3 kann daran erkennen: Bevor eine Sprache unterrichtlich genutzt wird, muss die Idee formaler Programmbeschreibung überhaupt entstehen.

Die Bedeutung von Plankalkül liegt darin, Programmieren als formale Problembeschreibung sichtbar zu machen. Ein Programm ist nicht nur Maschinenbedienung und nicht nur eine Liste von Befehlen. Es kann als präzise sprachliche Form eines Lösungswegs verstanden werden. Diese Idee trägt spätere Hochsprachen und Unterrichtssprachen.

Für die Programmiergeschichte ist das grundlegend. Compiler, FORTRAN, Simula, Smalltalk und Java setzen voraus, dass Programme in einer formalen Sprache beschrieben werden können. Jede dieser späteren Stationen setzt andere Akzente: Übersetzung, Problemnähe, Objektmodell, Interaktion oder Laufzeitumgebung. Plankalkül steht für die frühe Form dieser gemeinsamen Grundidee.

Für E3 bedeutet das: Programmieren beginnt fachlich nicht mit Java-Syntax allein. Es beginnt mit der Frage, wie ein Verfahren eindeutig formuliert wird. Variablen, Bedingungen, Schleifen und Methoden sind deshalb Sprachmittel, um Problemlösungen formal und ausführbar zu machen.

Plankalkül darf nicht mit Java, FORTRAN oder moderner Compilerpraxis gleichgesetzt werden. Es ist ein früher Entwurf einer höheren Programmiersprache, aber keine heutige Unterrichtssprache und kein verbreitetes Softwareökosystem. Java ist eine spätere Sprache mit Klassenmodell, Laufzeitumgebung, Bibliotheken und Entwicklungswerkzeugen.

Auch Compilerentwicklung ist eine eigene Anschlussstation. Plankalkül zeigt die Möglichkeit formaler Programmbeschreibung. Compiler machen später sichtbar, wie solche Beschreibungen praktisch übersetzt und geprüft werden können. FORTRAN zeigt, wie Hochsprache in wissenschaftlich-technischer Praxis wirksam wird. Diese Ebenen hängen zusammen, sind aber nicht identisch.

Für E3 ist diese Abgrenzung wichtig. Der Artikel soll nicht historische Spezialnotation unterrichten. Er erklärt die Tiefenschicht hinter Java: Programme müssen formal beschrieben werden, bevor sie geprüft, übersetzt und ausgeführt werden können.