Die Feinstruktur kombinatorischer Unabhängigkeitsprinzipien

• Applicant: Professor Dr. Andreas Weiermann
• Subject Area: Mathematics
• Term: from 2004 to 2005
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5423218

Das Ziel des beantragten Vorhabens besteht darin, mathematisch relevante Unvollständigkeitsresultate für natürliche Theorien zu beweisen, diese zu klassifizieren und im Hinblick auf wechselseitige Anwendungen in der reinen Mathematik - wie etwa der analytischen Zahlentheorie und der Algebra - zu untersuchen... Die Fragestellung des Projektes hat neben einem grundlagentheoretischen auch ein unmittelbares mathematisches Interesse, da Unabhängigkeitsresultate mit zentralen offenen Fragen der Mathematik in Verbindung gebracht werden können. In einer neueren Arbeit erzielte Weiermann Unabhängigkeitsergebnisse für die primitiv rekursive Arithmetik, die von der Richigkeit der ABC-Vermutung und der Riemannschen Hypothese abhängen. Hierbei handelt es sich wahrscheinlich nur um einen kleinen Ausschnitt eines allgemeinen Zusammenhangs und es sind vermutlich noch eine Reihe von derartigen Resultaten zu erwarten...

• DFG Programme: Research Grants