Diskussion:Hilberts 24. Problem

Letzter Kommentar: vor 2 Jahren von Wandynsky in Abschnitt Heutiger Stand

Hülfe?

Bearbeiten

"Voraussetzungen (und Hülfsmittel) bei den Beweisen "

Hülfsmittel?! Korrekt?

MFG Seraphin Wieser (nicht signierter Beitrag von Seraphinwieser (Diskussion | Beiträge) 11:32, 8. Aug. 2013 (CEST))Beantworten

Ja, ist korrekt. Zur Zeit Hilberts wurde noch "Hülfe" gesagt. (nicht signierter Beitrag von 188.192.103.93 (Diskussion) 22:19, 21. Aug. 2014 (CEST))Beantworten

Heutiger Stand

Bearbeiten

Mir fehlt der heutige Stand zur Bearbeitung des Problems im Artikel. Bei den vorherigen 23 Problemen (Im Artikel [Probleme] ist immer der aktuelle Stand der heutigen Forschung angegeben und mit Farben markiert, ob bzw. inwieweit das Problem gelöst ist. Vieleicht kennt sich ja jemand gut genug aus, um diese Information zu ergänzen... Danke! (nicht signierter Beitrag von 87.149.73.152 (Diskussion) 19:09, 9. Jan. 2015 (CET))Beantworten

Da das "Problem" eher eine Ansammlung von vagen Fragestellungen ist, habe ich mal einen Vergleich zwischen dem Originaltext und aktueller Forschung gemacht. Es gibt zumindest heute eine präzise Behandlung von Gleichheit von Beweisen. Eine Metrik für die tatsächliche Komplexität eines Beweises hängt immer vom formalen System ab, anderes als naive Messung des syntaktischen Beweises (Länge, Tiefe) ist mir nicht bekannt. Gibt es Messgrößen unabhängig von der Formalisierung? Anregungen willkommen. --Wandynsky (Diskussion) 19:52, 12. Feb. 2022 (CET)Beantworten