Der objektiv beste Buchstabe des griechischen Alphabets.
Bei Symbolerkennungsbedarf: https://detexify.kirelabs.org/classify.html
Der objektiv beste Buchstabe des griechischen Alphabets.
Bei Symbolerkennungsbedarf: https://detexify.kirelabs.org/classify.html
Stimmt, dass := auch für rekursive Definitionen verwendet wird habe ich nicht berücksichtigt. Ich hab kurz gebraucht um die Tautologie zu sehen, aber du hast recht, wenn man es als rekursiv ansieht bekommt man als “Definition” Σ = Σ raus (und die Menge Σ muss Kardinalität 1 haben - das macht es aber auch etwas schön, da man nun der Variable Σ eindeutig den Wert des einzigen Elements von Σ zuweisen könnte).
Σ := Σ_Σ Σ <=> Σ = |Σ| * Σ <=> 1 = |Σ|Fünf Sigmas in einer Gleichung sind aber eindeutig zu viel, das könnte ja noch für Verwirrung sorgen!
Wobei die Gleichung auch von der leeren Menge erfüllt wird. Je nach dem, wie du die Summierung jetzt genau interpretiert hast, dann auch von der Menge Σ*, die alle Elemente der kleene’schen Iteration über das Universums enthält (wobei die Konkatenation eher als Multiplikation notiert wird… hey, wieso nicht das Ganze nochmal mit π?).