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

Abstract

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.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Introduction.Alexei Angelides - 2004 - Graduate Faculty Philosophy Journal 25 (2):5-16.
Introduction.Alexei Angelides - 2004 - Graduate Faculty Philosophy Journal 25 (2):5-16.
History of Mathematics in Mathematics Education.Michael N. Fried - 2014 - In Michael R. Matthews (ed.), International Handbook of Research in History, Philosophy and Science Teaching. Springer. pp. 669-703.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
An introduction to mathematical reasoning.Boris Iglewicz - 1973 - New York,: Macmillan. Edited by Judith Stoyle.
Introduction to proof in abstract mathematics.Andrew Wohlgemuth - 2011 - Mineola, N.Y.: Dover Publications.
A Course in the History and Philosophy of Mathematics from a Naturalistic Perspective.William A. Rottschaefer - 1991 - Teaching Philosophy 14 (4):375-388.
The Position of Mathematics in Intellectual History.Toratarō Shimomura - 2018 - In Masakatsu Fujita (ed.), The Philosophy of the Kyoto School. Singapore: Springer Singapore. pp. 163-181.
The Architecture of Modern Mathematics: Essays in History and Philosophy.José Ferreirós Domínguez & Jeremy Gray (eds.) - 2006 - Oxford, England: Oxford University Press.
An introduction to the foundations and fundamental concepts of mathematics.Howard Eves - 1958 - New York,: Holt, Rinehart and Winston. Edited by Carroll Vincent Newsom.
Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures.James Robert Brown - 2008 - New York: Routledge.
An introduction to mathematics.Carroll Vincent Newsom - 1936 - Albuquerque, N.M.,: University of New Mexico.
What can the Philosophy of Mathematics Learn from the History of Mathematics?Brendan Larvor - 2008 - Erkenntnis 68 (3):393-407.
Ideas and processes in mathematics: A course on history and philosophy of mathematics.Charalampos Toumasis - 1993 - Studies in Philosophy and Education 12 (2):245-256.
Logos and máthēma: studies in the philosophy of mathematics and history of logic.Roman Murawski - 2011 - New York: Peter Lang.

Analytics

Added to PP
2021-09-11

Downloads
2 (#1,816,161)

6 months
1 (#1,511,647)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references