Post #1593380
2026-04-19 17:25 UTC
@Eigenraum @holothuroid @Harald
> Algorithmische Entscheidbarkeit ist aber etwas anderes als die Grundlagen der Mengenlehre.
Ja. Genau deshalb wollte ich den Satz "Für eine Menge nach mathematischem Verständnis musst du erstmal nur entscheiden können, ob eine Sache drin ist." etwas zurechtrücken.
Replies (1)
-
@hcschuetz@mastodon.social 2026-04-19 17:26
@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.