Post #1593383
2026-04-19 22:18 UTC
@Eigenraum @holothuroid @Harald
Du hast vollkommen recht. Ich habe auch nichts gegenteiliges behauptet. Aber Du klingst für mich so, als würde ich Dir widersprechen. Tu ich nicht.
Vielleicht hab ich mich unklar ausgedrückt.
In diesem Thread steht, für eine Menge müsse man "nur entscheiden können, ob eine Sache drin ist". Dem habe ich (etwas indirekt) widersprochen, denn auf Entscheidbarkeit kommt es ja für den Mengenbegriff nicht an.
Replies (1)
-
@hcschuetz@mastodon.social 2026-04-19 22:19
@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.