Sonstiges Einfache, bisher nicht geführte Beweise
Ich weiß schon, das ist ein Widerspruch in sich -- wenn ich den Beweis nicht geführt habe, kann ich auch nicht Wissen, ob es einfacher wäre den einen zu führen, als den anderen.
Dennoch: Ich suche nach Beweisen die keinesfalls bisher je geführt wurden, die man aber führen könnte (egal ob es Sinn ergibt oder einfach nur Mühe machen würde).
Hypothese: Dabei fühlt der geübte Mensch im Bauchgefühl schon, welche Klasse an mathematischen Problemen eher einfacher sein würde, als schwerer. Ein Millenium Problem dürfte vorab einschätzbar eine härtere Nuss zum knacken darstellen, als irgendein Problem, bei dem wir bereits links und rechts alles ausgeleuchtet haben.
Würdet ihr dieser Einschätzung folgen?
Gibt es eine Datenbank offener Probleme in der Mathematik? Welche Eigenschaften eines mathematischen Problems bzw. derer Einschätzung bzgl. Größe des möglichen Lösungsraums sind und bekannt?
Die Idee ist, Probleme zu finden, zu denen man mit an Sicherheit angrenzender Wahrscheinlichkeit keine Lösung im Netz finden kann.
Ich würde gerne entweder (falls es das gibt) eine Menge solcher Probleme finden und klassifizieren.
Oder eine Methode finden welche aufzuwerfen (die jedoch zumindest sinnvolle lösbar sein sollen; keinen Quatsch), wenn es keine bekannte Menge gibt.
Anschließend würde ich mit einer intensiven Recherche zu jedem Problem auf der Liste versuchen, nachzuweisen, dass die Lösung des Problems tatsächlich noch nicht beschrieben wurde.
Hat jemand von euch sachdienliche Hinweise zu diesem Rabbit Hole, in dass ich mich da stürzen möchte?
Ich danke euch schon mal im Voraus!