Proofs as Bearers of Mathematical Knowledge

被引:25
|
作者
Hanna, Gila
Barbeau, Ed
机构
关键词
D O I
10.1007/978-1-4419-0576-5_7
中图分类号
G40 [教育学];
学科分类号
040101 ; 120403 ;
摘要
引用
收藏
页码:85 / +
页数:3
相关论文
共 50 条
  • [1] Proofs as bearers of mathematical knowledge
    Hanna G.
    Barbeau E.
    [J]. ZDM, 2008, 40 (3): : 345 - 353
  • [2] Probabilistic Proofs, Lottery Propositions, and Mathematical Knowledge
    Hamami, Yacin
    [J]. PHILOSOPHICAL QUARTERLY, 2021, 72 (01): : 77 - 89
  • [3] PROBABILISTIC PROOFS, LOTTERY PROPOSITIONS, AND MATHEMATICAL KNOWLEDGE
    Hamami, Yacin
    [J]. PHILOSOPHICAL QUARTERLY, 2022, 72 (01): : 77 - 89
  • [4] MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
    Tomaszuk, Dominik
    Szeremeta, Lukasz
    Kornilowicz, Artur
    [J]. SCIENTIFIC DATA, 2023, 10 (01)
  • [5] MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
    Dominik Tomaszuk
    Łukasz Szeremeta
    Artur Korniłowicz
    [J]. Scientific Data, 10
  • [6] Mathematical Proofs
    Marco Panza
    [J]. Synthese, 2003, 134 : 119 - 158
  • [7] Mathematical proofs
    Panza, M
    [J]. SYNTHESE, 2003, 134 (1-2) : 119 - 158
  • [8] Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs
    Frans, Joachim
    Kosolosky, Laszlo
    [J]. THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2014, 29 (03): : 345 - 360
  • [9] Discovery of mathematical knowledge by reformulation of false conjectures in an proofs and refutations environment
    Bustos Rubilar, Alvaro Sebastian
    Zubieta Badillo, Gonzalo
    [J]. ENSENANZA DE LAS CIENCIAS, 2015, 33 (03): : 117 - 136
  • [10] Rationality in Mathematical Proofs
    Hamami, Yacin
    Morris, Rebecca Lea
    [J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2023, 101 (04) : 793 - 808