arrow
返回

Proof as a Cluster Category

delete2020-01-01
delete20
PRE
AI
J
Jennifer A. Czocher *
K
Keith Weber
DOI:10.5951/jresematheduc.2019.0007delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
To design and improve instruction in mathematical proof, mathematics educators require an adequate definition of proof that is faithful to mathematical practice and relevant to pedagogical situations. In both mathematics education and the philosophy of mathematics, mathematical proof is typically defined as a type of justification that satisfies a collection of necessary and sufficient conditions. We argue that defining the proof category in this way renders the definition incapable of accurately capturing how category membership is determined. We propose an alternative account-proof as a cluster category-and demonstrate its potential for addressing many of the intractable challenges inherent in previous accounts. We will also show that adopting the cluster account has utility for how proof is researched and taught.
Keyword:
Definitions
Mathematical practice
Proof

期刊

J
Journal for Research in Mathematics Education
IF:
3.6
论文数:
762
被引数:
2.5K

机构

T
texas state university san marcos
学者数:
2.1K
论文数: 1.8K
被引数: 10
Texas State University System 封面图
Texas State University System
学者数:
5.5K
论文数: 4.9K
被引数: 13
引用论文

引用论文

Nonequilibrium phases of ultracold bosons with cavity-induced dynamic gauge fields
err2023-08-03
err0
errOAAI
errArkadiusz Kosior; Helmut Ritsch; Farokh Mivehvar
err分享
err收藏
Arbitrary-quantum-state preparation of a harmonic oscillator via optimal control
err2014-08-14
err0
errOAAI
errKatharina Rojan; Daniel M. Reich; Igor Dotsenko; Jean-Michel Raimond; Christiane P. Koch; Giovanna Morigi
err分享
err收藏
err分享
err收藏
Modular Commutators in Conformal Field Theory
err2022-12-22
err0
errOAAI
errYijian Zou; Bowen Shi; Jonathan Sorce; Ian T. Lim; Isaac H. Kim
err分享
err收藏
Synthesis of High Purity Bi(Pb)2223 Tapes With High $T_{\rm c}$ Above 115 K
err2011-06-01
err0
PREAI
errMasahiko Watanabe; Jun-ichi Shimoyama; Keisuke Obata; Kohji Kishio; Shin-ichi Kobayashi; Kazuhiko Hayashi
err分享
err收藏
Full Control by Locally Induced Relaxation
err2007-09-05
err0
errOAAI
errDaniel Burgarth; Vittorio Giovannetti
err分享
err收藏
学者 查看更多内容