Wie beweist man Beweisbarkeit?
Hallo liebe Mathefans und Logikisten ;)
Ich bin in letzter Zeit häufig bei meinen Recherchen über mathematische Themen auf diesen Satz gestoßen: "Mathematiker X hat bewiesen, dass man das Problem nicht beweisen kann"
Die Frage die ich mir jetzt stelle, wie funktioniert das? Wie zeigt man, dass sich ein Problem lösen lässt, oder eben nicht? Ist das Problemspezifisch oder kann man ähnliche Methoden auf alle Probleme anwenden? Bei welchen Problemen findet man sowas?