Diskussion:Hilberts 24. Problem
Letzter Kommentar: vor 2 Jahren von Wandynsky in Abschnitt Heutiger Stand
Hülfe?[Quelltext 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))
- 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))
Heutiger Stand[Quelltext 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))
- 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)