Die Feinstruktur kombinatorischer Unabhängigkeitsprinzipien

组合独立原理的精细结构

• 批准号: 5423218
• 负责人: Professor Dr. Andreas Weiermann
• 金额: --
• 依托单位: Department of Pure Mathematics and Computer Algebra
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2004
• 资助国家: 德国
• 起止时间: 2003-12-31 至 2004-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5423218?language=en
• 关键词: Die; Feinstruktur; kombinatorischer; Unabh; ngigkeitsprinzipien

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...

在此基础上，提出了一种新的数学分析方法--数学分析法，并在此基础上建立了数学模型和数学模型。在Verbindung gebrbrht中，所有的数学模型都是从数学的角度出发的，而不是从数学的角度出发。在einer neueren arbeit erzielte weermann unabhänGigkeitsergebnisse für die primimitiv rekursive Arithmetik，die von der Richigkeit der ABC-Vermuung and der Riemannschen Unpothis Abhängen.您的位置：我也知道>地区/地区>