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 条
  • [21] Mathematical Explanations that are Not Proofs
    Lange, Marc
    [J]. ERKENNTNIS, 2018, 83 (06) : 1285 - 1302
  • [22] KNOWLEDGE OF PROOFS
    PAGIN, P
    [J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1994, 13 (02): : 93 - 100
  • [23] Managing Human and Artificial Knowledge Bearers
    Grum, Marcus
    [J]. BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2020, 2020, 391 : 182 - 201
  • [24] Knowledge of mathematics teachers in initial training regarding mathematical proofs: Logic-mathematical aspects in the evaluation of arguments
    Alfaro-Carvajal, Christian
    Flores-Martinez, Pablo
    Valverde-Soto, Gabriela
    [J]. UNICIENCIA, 2022, 36 (01)
  • [25] Proofs of membership vs. proofs of knowledge
    Di Crescenzo, G
    Impagliazzo, R
    [J]. THIRTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY - PROCEEDINGS, 1998, : 34 - 45
  • [26] Instructions and recipes in mathematical proofs
    Weber, Keith
    Tanswell, Fenner Stanley
    [J]. EDUCATIONAL STUDIES IN MATHEMATICS, 2022, 111 (01) : 73 - 87
  • [27] Computational complexity and mathematical proofs
    Hartmanis, J
    [J]. INFORMATICS - 10 YEARS BACK, 10 YEARS AHEAD, 2001, 2000 : 251 - 256
  • [28] Proofs, Mathematical Practice and Argumentation
    Carrascal, Begona
    [J]. ARGUMENTATION, 2015, 29 (03) : 305 - 324
  • [29] Structured design with mathematical proofs
    Chiang, CC
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1997, 39 (10) : 669 - 677
  • [30] Proofs, Mathematical Practice and Argumentation
    Begoña Carrascal
    [J]. Argumentation, 2015, 29 : 305 - 324