Kurs, Python und Ausführung im Browser¶

Dieses Projekt priorisiert die lesbare Entsprechung von Axiomen, Definitionen und Code, nicht Geschwindigkeit.

Python-Vorkenntnisse¶

Grundsyntax wird vorausgesetzt. Operator-Dispatch, Funktionsersetzung durch Dekoratoren und von Dataclass erzeugte Methoden werden als wesentliche Mechanismen erklärt.

Zensical und Pyodide¶

Zensical baut die Seiten; Pyodide führt Python in einem Web Worker aus. Beim ersten Lauf wird die Umgebung geladen, der Code aber nicht an einen Server gesendet.

Didaktische Grenzen¶

Vorgängerketten machen große Zahlen langsam. Tests prüfen endliche Fälle; Aussagen über alle natürlichen Zahlen benötigen weiterhin Induktion.