Post #1593381
2026-04-19 17:26 UTC
@Eigenraum @holothuroid @Harald
Natürlich kann man auch ein Orakel entscheiden lassen, ob ein Ding Element einer Menge ist oder nicht. Für mich klingt "entscheiden" aber nach einem Vorgang / Algorithmus. Liegt vielleicht an meinem Informatik/Logik-Hintergrund, kann aber auch von anderen so (miss)verstanden werden.
Über Mengenlehre und "∈" wollte ich mit meinem Haarspalter-Tröt nichts aussagen.
Replies (1)
-
@Eigenraum@podcasts.social 2026-04-19 20:21
@hcschuetz @holothuroid @Harald Die Mathematik ist hier völlig anders als die Informatik. Eine Menge ist gar nichts anderes als ihre Elemente. Sie ist nur dadurch definiert, was sie für Elemente enthält und es gibt eigentlich gar nichts zu entscheiden, auch nicht für ein Orakel.