Es gibt keine Zuweisungen von Variablen

Heute nacht hatte ich im Schlaf wieder so einen Geistesblitz: Es gibt keine Zuweisungen von Variablen. Es gibt nur Zuweisungen von Konstanten oder Berechnungen.

Man kann einer Variablen nur entweder einen konstanten Wert zuweisen oder einen Wert, der durch Berechnung entstanden ist. Dagegen ließe sich vielleicht der Einwand bringen, dass man Variablen ja den Wert beliebiger Speicheradressen zuweisen könne. Aber wie sind diese Werte entstanden? Auch sie entweder durch Zuweisung von Konstanten oder durch Berechnung.

So ist etwa der Timer eine Variable, die beim Einschalten des Computers auf den konstanten Wert 0 gesetzt und dann per Interrupt jede Millisekunde um 1 erhöht wird.

Somit sind auch Zufallsvariablen nur durch Berechnung entstanden. Sie sind ja ohnehin nur Pseudozufallszahlen. Entweder ist der Seed eine Konstante oder durch Berechnung entstanden, wie es beim Timer der Fall ist.

Die Benutzereingaben sind auch als Konstante zu betrachten.

Somit ergibt sich eigentlich, dass alle Programme deterministisch ablaufen.

Kommentare

Beliebte Posts aus diesem Blog

The Demoscene

Digital Art Natives

Autobiographical Sketch