Paraconsistent Foundations of Mathematics

次相容数学基础

• 批准号: DP1094962
• 负责人: Prof Graham Priest
• 金额: $ 20.29万
• 依托单位: The University of Melbourne
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2010
• 资助国家: 澳大利亚
• 起止时间: 2010-03-01 至 2013-02-28
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP1094962
• 关键词: Paraconsistent; Foundations; Mathematics

In the English-speaking world, Australia is already the most prominent centre for paraconsistent research, known for development of radical new ideas advanced here in the last few decades. The program is ready to mature into its next phase, making important and lasting contributions to logic, philosophy, and mathematics. The Australian academy will derive international recognition for impressive new mathematics, and innovative philosophical explanations of truth and proof.

在英语世界，澳大利亚已经是最著名的超一致性研究中心，在过去的几十年里，澳大利亚以发展激进的新思想而闻名。该项目已经准备好进入下一阶段，对逻辑、哲学和数学做出重要而持久的贡献。澳大利亚科学院将因其令人印象深刻的新数学以及对真理和证明的创新哲学解释而获得国际认可。