Abstract / Synopsis
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.
Steven Deckelman, "Incorporating Philosophy, Theology, and the History of Mathematics in an Introduction to Proof Course," Journal of Humanistic Mathematics, Volume 9 Issue 1 (January 2019), pages 245-270. DOI: 10.5642/jhummath.201901.14. Available at: https://scholarship.claremont.edu/jhm/vol9/iss1/14