Post #1593384
2026-04-19 22:19 UTC
@Eigenraum @holothuroid @Harald
Nun kann man noch diskutieren, ob das Wort "entscheiden" unbedingt im Sinne der theoretischen Informatik verstanden werden muss. Muss es nicht, kann es aber.
Um Missverständnisse zu vermeiden, ist es wohl tatsächlich besser, das Wort "entscheiden" in einer Erklärung des Begriffs "Menge" nicht zu verwenden. Mir fällt aber gerade nichts besseres ein.
Replies (1)
-
@hcschuetz@mastodon.social 2026-04-19 22:41
@Eigenraum @holothuroid @Harald Noch eine Klarstellung, nur für den Fall, dass hier das Missverständnis liegen sollte: Wenn in der theoretischen Informatik die Frage gestellt wird, ob die Mitgliedschaft in einer Menge entscheidbar ist oder nicht, dann geht es um Mengen im mathematischen Sinn, nicht um (typischerweise endliche) Instanzen irgendeines "Set"-Datentyps.