this post was submitted on 19 Jul 2025
5 points (100.0% liked)

Mathematik

155 readers
5 users here now

Community für Austausch zum Thema Mathematik.

Wikipedia: "Die Mathematik [...] ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand. Für Mathematik gibt es keine allgemein anerkannte Definition; heute wird sie üblicherweise als eine Wissenschaft beschrieben, die durch logische Definitionen selbstgeschaffene abstrakte Strukturen mittels der Logik auf ihre Eigenschaften und Muster untersucht."

Verwandte Communities:

Netiquette wird vorausgesetzt. Gepflegt wird ein respektvoller Umgang - ohne Hass, Hetze, Diskriminierung.

Bitte beachtet die Regeln von Feddit.org.

Attribution

Bot-InfoSiehe https://feddit.org/post/1865816

founded 2 years ago
MODERATORS
marv99@feddit.org
5
Freistetters Formelwelt: Wenn Mathematik mächtiger als ihre Grundlage ist (www.spektrum.de)
submitted 5 months ago by marv99@feddit.org to c/mathematik@feddit.org
0 comments fedilink hide all child comments
 

Alternativer Link @archive.org

Mathematik basiert auf festen Regeln, die jedoch nie vollständig sein können. Kurt Gödels Unvollständigkeitssatz zeigt, dass es in jedem ausreichend starken logischen System wahre, aber unbeweisbare Aussagen gibt. Ein Beispiel dafür ist die Goodstein-Folge.

Die Goodstein-Folge veranschaulicht dieses Phänomen. Sie beginnt mit einer natürlichen Zahl und durchläuft eine Reihe von Schritten, bei denen die Zahl zunächst stark anwächst, um schließlich auf Null zu fallen. Dieser Prozess endet immer bei Null, unabhängig vom Startwert, was Reuben Louis Goodstein 1944 bewies.

Interessanterweise kann dieser Satz nicht mit den grundlegenden Axiomen der Peano-Arithmetik bewiesen werden, die die natürlichen Zahlen und ihre Operationen definieren. Dies zeigt, dass selbst einfache arithmetische Aussagen stärkere logische Systeme erfordern können, die jedoch ebenfalls nie vollständig sein können. Die Goodstein-Folge illustriert somit die Grenzen der mathematischen Beweisbarkeit und die Komplexität von Gödels Unvollständigkeitssatz.

-- Zusammenfassung durch Le Chat - Mistral AI

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here