Experimentation and Proof in Mathematics

被引：20
|
作者：
de Villiers, Michael [1 ]
机构：
[1] Univ KwaZulu Natal, Sch Sci Math & Technol Educ, Durban, South Africa
来源：
EXPLANATION AND PROOF IN MATHEMATICS: PHILOSOPHICAL AND EDUCATIONAL PERSPECTIVES | 2010年
关键词：
THEOREM;
D O I：
10.1007/978-1-4419-0576-5_14
中图分类号：
G40 [教育学];
学科分类号：
040101 ; 120403 ;
摘要：
引用
收藏
页码：205 / 221
页数：17
相关论文
共 50 条
  • [41] On the distinction proof-truth in mathematics
    Murawski, R
    [J]. IN THE SCOPE OF LOGIC: METHODOLOGY & PHILOSOPHY OF SCIENCE, 2002, 315 : 287 - 303
  • [42] Skolem and pessimism about proof in mathematics
    Cohen, PJ
    [J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2005, 363 (1835): : 2407 - 2418
  • [43] Despite physicists, proof is essential in mathematics
    MacLane, S
    [J]. SYNTHESE, 1997, 111 (02) : 147 - 154
  • [44] PROOF IN ELEMENTARY MATHEMATICS: A CASE OF ALGEBRA
    Ubuz, Behiye
    [J]. PME 33: PROCEEDINGS OF THE 33RD CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL 1, 2009, 1 : 480 - 480
  • [45] Students' mathematical conviction in Mathematics proof
    Fuat
    Nusantara, T.
    Irawan, E. B.
    Irawati, S.
    [J]. FIRST INTERNATIONAL CONFERENCE ON ENVIRONMENTAL GEOGRAPHY AND GEOGRAPHY EDUCATION (ICEGE), 2019, 243
  • [46] DESPITE PYHSICISTS, PROOF IS ESSENTIAL IN MATHEMATICS
    SAUNDERS MAC LANE
    [J]. Synthese, 1997, 111 : 147 - 154
  • [47] Visual mathematics: Diagrammatic formalization and proof
    Howse, John
    Stapleton, Gem
    [J]. INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 478 - 493
  • [48] PROOF AND KNOWLEDGE IN MATHEMATICS - PETLEFSEN,M
    FOLINA, J
    [J]. PHILOSOPHICAL QUARTERLY, 1996, 46 (182): : 125 - 127
  • [49] Forcing - An Introduction to the Mathematics of Proof of Independence
    Haldimann, Andreas
    [J]. ELEMENTE DER MATHEMATIK, 2019, 74 (04) : 183 - 184
  • [50] MECHANIZING MATHEMATICS OR APPLIED PROOF THEORY
    WEYHRAUCH, RW
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 122 - 122
12345