1推理能否写成语言：从三段论到量词逻辑
闭卷写出本课结论的完整前提、有限模型、一般边界与复核方式。
第 1 页 · 正面（题目）
2无穷集合怎样不自相矛盾：康托尔与集合论危机
闭卷写出本课结论的完整前提、有限模型、一般边界与复核方式。
3能否把数学彻底形式化：希尔伯特纲领与不完备
闭卷写出本课结论的完整前提、有限模型、一般边界与复核方式。
4算法的边界在哪里：丘奇、图灵与不可判定
闭卷写出本课结论的完整前提、有限模型、一般边界与复核方式。
5证明可以交给计算机吗：枚举、内核与形式验证
闭卷写出本课结论的完整前提、有限模型、一般边界与复核方式。
6数学是谁完成的：协作网络、复核与开放问题
闭卷写出本课结论的完整前提、有限模型、一般边界与复核方式。
第 1 页 · 背面（答案）
必须区分形式有效、真实前提、算法存在、有限验证和完整证明。
必须区分形式有效、真实前提、算法存在、有限验证和完整证明。
必须区分形式有效、真实前提、算法存在、有限验证和完整证明。
必须区分形式有效、真实前提、算法存在、有限验证和完整证明。
必须区分形式有效、真实前提、算法存在、有限验证和完整证明。
必须区分形式有效、真实前提、算法存在、有限验证和完整证明。