Incorporating Philosophy, Theology, and the History of Mathematics in an Introduction to Proof Course

[摘要] In this article I describe a project activity for an undergraduate introduction to proof course aimed at mathematics and computer science majors that combines logic and philosophy with a significant dimension of writing. Pedagogically, the project involves a broader range of critical thinking skills than is usual in such courses. Undergraduate students analyze Anselm of Canterbury's and Kurt Gödel's proofs of the existence of God using modal logic.

[学科分类] 数学（综合）

[关键词] transition course;modal logic;philosophy;theology;the ontological argument