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

Deckelman Steven

首页> 外文期刊>Journal of Humanistic Mathematics >Incorporating Philosophy, Theology, and the History of Mathematics in an Introduction to Proof Course

【24h】

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.

机译：在本文中，我描述了针对本科生的证明课程的项目活动，该课程针对数学和计算机科学专业的证明课程，该课程将逻辑和哲学与写作的重要方面结合起来。在教学上，该项目涉及的批判性思维技能比此类课程中的常规技能要广泛得多。本科生使用模态逻辑分析了坎特伯雷和库特·格德尔关于上帝存在的证据的安塞尔姆。

著录项

来源
《Journal of Humanistic Mathematics》 |2019年第1期|共26页
作者
Deckelman Steven;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类数学;
关键词
transition coursemodal logicphilosophytheologythe ontological argument;

机译：过渡过程模态逻辑哲学神学本体论论证;

相似文献

外文文献
中文文献
专利

1. Into the 'regions of physical and metaphysical chaos': Maxwell's scientific metaphysics and natural philosophy of action (agency, determinacy and necessity from theology, moral philosophy and history to mathematics, theory and experiment) [J] . Jordi Cat Studies in history and philosophy of science . 2012,第1期

机译：进入“物理和形而上学的混乱区域”：麦克斯韦的科学形而上学和自然行动哲学（从神学，道德哲学和历史到数学，理论和实验的机构，确定性和必要性）
2. J. R. Brown, Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures, Routledge, London and New York, 1999, 215 pages, paperback, GBP 14.99. [J] . Marco Ruffino Erkenntnis . 2001,第3期

机译：J. R. Brown，《数学哲学：证明和图片世界概论》，Routledge，伦敦和纽约，1999年，215页，平装，14.99英镑。
3. JOHN WALLIS AND THE CATHOLICS: CONFESSIONAL AND THEOLOGICAL ANTAGONISM IN WALLIS'S MATHEMATICS AND PHILOSOPHY [J] . Richter Adam D. Notes and Records of the Royal Society of London . 2018,第4期

机译：John Wallis和天主教徒：Wallis的数学和哲学中的忏悔和神学敌人
4. An Integrated Course in Logic, Philosophy, History, and Theology: Extensions of Logic and the Limits to Knowledge [C] . Thomas Marlowe, Fr. Joseph R. Laracy World multi-conference on systemics, cybernetics and informatics . 2017

机译：逻辑，哲学，历史和神学综合课程：逻辑的扩展和知识的局限
5. Waiting for Goedel: Self-delimiting proofs in mathematics and theology. [D] . Starr, Christopher Cole. 2002

机译：等待戈德尔：数学和神学中的自定界证明。
6. The establishment of hybrids of the Daphnia longispina complex explained by a mathematical model incorporating different overwintering life history strategies [O] . Johanna Griebel, Margarete Utz, Joachim Hermisson, -1

机译：通过结合不同的越冬生活史策略的数学模型解释了水蚤的杂交体的建立
7. Incorporating Philosophy, Theology, and the History of Mathematics in an Introduction to Proof Course [O] . Steven Deckelman 2019

机译：在证明课程介绍中，在哲学，神学和数学历史中纳入哲学，神学和数学史

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

摘要

著录项

相似文献

相关主题

期刊订阅