#bewiesen — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #bewiesen, aggregated by home.social.
-
Der Gödelschen #unvollstaendigkeitssatz
besagt, dass es in jedem formalen System, das hinreichend mächtig ist, um die Arithmetik auszudrücken, #Aussagen gibt, die weder #beweisbar noch #widerlegbar sind. Anders ausgedrückt, es gibt Dinge, die #wahr sind, aber nicht #bewiesen werden können. Der Satz wurde von Kurt Gödel im Jahr 1931 #bewiesen und hat wichtige Auswirkungen auf die #Mathematik und die #Philosophie