Post #1593382
2026-04-19 20:21 UTC
@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.
Replies (1)
-
@hcschuetz@mastodon.social 2026-04-19 22:18
@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.