Es ist bekannt, dass wir mit einer abzählbaren Menge von Algorithmen (gekennzeichnet durch eine Gödel-Zahl) nicht alle Teilmengen von N berechnen können (einen binären Algorithmus erstellen, der die Zugehörigkeit prüft).
Ein Beweis könnte wie folgt zusammengefasst werden: Wenn wir könnten, wäre die Menge aller Teilmengen von N zählbar (wir könnten jeder Teilmenge die Gödel-Zahl des Algorithmus zuordnen, der sie berechnet). Da dies falsch ist, beweist es das Ergebnis.
Dies ist ein Beweis, den ich mag, da er zeigt, dass das Problem äquivalent zu den nicht abzählbaren Teilmengen von N ist.
Jetzt möchte ich beweisen, dass das Stopp-Problem nicht mit demselben Ergebnis lösbar ist (Unzählbarkeit von N Teilmengen), weil ich denke, dass dies ein sehr nahes Problem ist. Kann man das so beweisen?