Die Vorgänge eines mathematischen Beweises
müssen übersehbar sein || Zum Beweis gehört,
daß seine Vorgänge übersichtlich sind, d.h.
wir müssen im Stande sein,
sie || ihn mit Sicherheit immer wieder richtig
zu
reproduzieren || reproduzieren zu
können. (Was ist das Kriterium dieser
Sicherheit?)
[Ist 12 × 12
= 144 nur wahrscheinlich?
(Russell
, Principia Mathematica)
]
❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ + ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ = ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘
ist
kein Satz
der || unsrer Arithmetik wie
❘ ❘ ❘ + ❘ ❘ = ❘ ❘ ❘ ❘ ❘
; obwohl,
wenn Du die Striche zählst, also eine
neue Technik
heranbringst || anwendest || einführst, die Zeile
zu || allerdings 16
+ 16 = 34 wird.