#bewiesen
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
#Bewiesen: mit wenig Aufwand konnten Sicherheitsforscher für US-Präsidentenwahl verwendeten Wahlcomputer manipulieren https://is.gd/0om9Kw
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst