Manche wahrheiten in der mathematik können niemals bewiesen werden
Kurt Gödels theoreme von 1931 bewiesen, dass selbst konsistente mathematische systeme wahre aussagen enthalten. Diese können niemals formal bewiesen werden. Dies offenbart grundlegende grenzen der logik und des wissens.
1931 enthüllte der mathematiker Kurt Gödel eine tiefgreifende wahrheit. Jedes konsistente mathematische system, das mächtig genug für grundlegende arithmetik ist, enthält aussagen, die wahr sind, aber nicht innerhalb dieses systems bewiesen werden können. Er schuf im wesentlichen ein selbstreferenzielles paradox. Es ist wie zu sagen: „diese aussage ist unbeweisbar.“ Wenn sie wahr ist, ist sie unbeweisbar. Wenn sie falsch ist, entsteht ein widerspruch.
Es gibt mehr zu lesen — öffne die App, um weiterzulesen.