【2月26日】名家講座第24講：反推數學中的幾個簡單證明
點擊次數： 更新時間：2021-02-23
摘要：在之前的《邏輯與數學基礎系列講座》中，我們已經了解了一些關于反推數學的背景知識（Sam Sanders: Some theorems are more equal than others: a slow introduction to Reverse Mathematics，Nov. 2020）以及反推數學中前沿工作的實例（Chong Chi Tat: A logical problem from Reverse Mathematics，Jan. 2021）。在本講座中，我将繼續反推數學這一主題，證明幾個與拉姆塞定理有關的定理。這些定理的選取将盡量面向沒有背景的學生，期望能至少說明反推數學和遞歸論的聯系。如果時間允許，我也想談一談反推數學與數學基礎的關系。