O-minimality and dynamical systems

长期以来，数学逻辑一直在描述形式上可能与不可能之间的关系。例如，Gödel的不完备性定理表明，没有复杂到足以证明数学中简单定理的一致形式系统可以证明其自身的一致性。这种结果限制了数学中形式上可知的范围。近年来，模型理论家采取了一种建构主义的方法来使用数学中的逻辑。在“Gödel屏障”下面工作，他们将结构的简单属性形式化，这些结构具有理想的有限属性，同时产生丰富的可定义集集合。在这些性质中，最成功的是一个存在于模型理论和解析几何边界上的性质，即极小性。这门学科已经通过提供对动力系统、混合系统和通过神经网络学习理论的基础的关键见解，并帮助解决了实际代数几何和数论中的主要开放问题，显示了它的有用性。我研究的动机是对其解表现出某些渐近行为的动力系统的研究。我对希尔伯特的第16个问题特别感兴趣，这是德国数学家大卫·希尔伯特在1900年提出的著名的23个问题之一；这个问题至今仍未解决。我已经开发了一种新的方法来解决这个问题，使用0极小性，解决一个非常特殊的情况。在接下来的五年里，我的研究主线如下：将我对希尔伯特第16问题的研究方法进行概括，得到更多有意义的案例；简化我们对普法几何的理解，使其更适合应用；以及与理解动力系统产生的现象有关的o-极小性的推广的研究。

Mathematical logic has long played a role in delineating between what is formally possible and impossible. For example, Gödel's incompleteness theorem shows that no consistent formal system sophisticated enough to prove simple theorems in mathematics can demonstrate its own consistency. This type of result places a limit on the scope of what is formally knowable in mathematics. In recent years, model theorists have taken on a constructivist approach to the use of logic inside mathematics. Working below the "Gödel barrier'', they have formalized simple properties of structures that have desirable finiteness properties and which, at the same time, give rise to a rich collection of definable sets. Among the most successful of these properties is one that lives on the border of model theory and analytic geometry, namely, o-minimality. This subject has already shown its usefulness by providing key insights into the foundations of dynamical systems, hybrid systems, and learning theory through neuronal networks and has helped settle major open problems in real algebraic geometry and number theory. The motivation for my research is the investigation of dynamical systems whose solutions exhibit certain asymptotic behaviours. I am particularly interested in Hilbert's 16th problem, one of the famous list of 23 problems posed by the German mathematician David Hilbert in 1900; it remains unsolved to this day. I have developed a new approach to this problem using o-minimality, solving a very special case of it. The main lines of my research over the next five years are as follows: generalize my approach to Hilbert's 16th problem to obtain more significant cases of it; simplify our understanding of Pfaffian geometry, in order to make it more suitable for applications; and the investigation of generalizations of o-minimality relevant to the understanding of phenomena arising from dynamical systems.