19世纪中叶，数学家开始质疑数学的基本原理。数学是一门关于真实真理的科学，但这些真理是建立在什么基础上的呢?这导致了戈特洛布·弗雷格和伯特兰·罗素的工作，使数学的支柱形式化。在世纪之交，大卫·希尔伯特提出了他的23个问题，鼓励了这种探索。希尔伯特确信他的问题会得到解决，因为“在数学中没有ignorabimus。”无论我们提出什么定理，数学都会证明它是对还是错。31年后库尔特
Gödel证明他是错的。在数学中有无法解决的问题。他给出的证明冗长而技术性强，需要一门课程来展示和充分理解。在这次演讲中，我们将跳过技术工作，看看Gödel的证明中相当天才的核心思想。
我们目前正在为11月和12月的PGR研讨会寻找演讲者。如果您想亲自发言，或邀请外部发言人，请与我们联系。