Applications of Set Theory to Analysis

集合论在分析中的应用

• 批准号: 8553-2012
• 负责人: Steprans, Juris
• 金额: $ 1.82万
• 依托单位: York University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=521147
• 关键词: Applications; Set; Theory; Analysis

It has been know since the work of Kurt Godel in the 1930s that there are statements in mathematics that can neither be proved nor disproved; but these statements were quite artificial and it could be argued that they would never arise in any natural context. However, in the early 1960s Paul Cohen showed that there are statements that can not be decided about which mathematicians actually care and which arise naturally in their subject. The technique he developed for doing this has since found many applications and the undecidable statements now come from areas where one would not have guessed undecidability could be found. This proposal continues the program of looking for statements in mathematics, analysis to be precise, where such phenomena occur.

自从20世纪30年代库尔特·戈德尔的工作以来，人们就知道，数学中有一些既不能证明也不能反驳的陈述；但这些陈述完全是人为的，可以说它们永远不会出现在任何自然环境中。然而，保罗·科恩在20世纪60年代初表明，有些陈述无法确定哪些数学家真正关心，哪些陈述自然地出现在他们的学科中。自那以后，他为此开发的技术已经得到了许多应用，现在无法决定的陈述来自人们可能猜不到的领域，可以找到不可决定的东西。这项提议延续了在数学中寻找陈述的计划，准确地说，在这些现象发生的地方寻找分析。