Post #1593379
2026-04-19 14:33 UTC
@hcschuetz @holothuroid @Harald
Algorithmische Entscheidbarkeit ist aber etwas anderes als die Grundlagen der Mengenlehre. Das Verb „entscheiden“ muss man da sehr vorsichtig verwenden. Die Axiome der Mengenlehre legen eindeutig fest, wie genau sich das Symbol „ist Element von“ verhält und Algorithmen spielen dafür keine Rolle.
In dieser Folge gibts noch mehr verrückte Sachen dazu: https://eigenpod.de/eig008-unreelle-zahlen/
Replies (1)
-
@hcschuetz@mastodon.social 2026-04-19 17:25
@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.