Experimental Mathematics and Proofs in the Classroom

被引：0
|
作者：
Kortenkamp U. [1 ]
机构：
[1] Mathematisches Institut, Technische Universität Berlin, 10623 Berlin, Sekr. MA 6-2
来源：
ZDM | 2004年 / 36卷 / 2期
关键词：
G90; N70; N90; U70;
D O I：
10.1007/BF02655760
中图分类号：
学科分类号：
摘要：
Experimental mathematics is a serious branch of mathematics that starts gaining attention both in mathematics education and research. We give examples of using experimental techniques (not only) in the classroom. At first sight it seems that introducing experiments will weaken the formal rules and the abstractness of mathematics that are considered a valuable contribution to education as a whole. By putting proof and experiment side by side we show how this can be avoided. We also highlight consequences of experimentation for educational computer software.
引用
收藏
页码：61 / 66
页数：5
相关论文
共 50 条
  • [31] Philosophy of mathematics: An introduction to the world of proofs and pictures
    Cook, RT
    MIND, 2004, 113 (449) : 154 - 157
  • [32] Reverse mathematics: proofs from the inside out
    Hoare, Graham
    MATHEMATICAL GAZETTE, 2021, 105 (564): : 571 - 572
  • [33] The Development of Proofs in Analytical Mathematics for Undergraduate Students
    Ali, Maselan
    Sufahani, Suliadi
    Hasim, Nurnazifa
    Rusiman, Mohd Saifullah
    Roslan, Rozaini
    Mohamad, Mahathir
    Khalid, Kamil
    INTERNATIONAL SEMINAR ON MATHEMATICS AND PHYSICS IN SCIENCES AND TECHNOLOGY 2017 (ISMAP 2017), 2018, 995
  • [34] PROOF INTERPRETATIONS AND THE COMPUTATIONAL CONTENT OF PROOFS IN MATHEMATICS
    Gurevich, Yuri
    Kohlenbach, Ulrich
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (93): : 143 - 175
  • [35] ARTISTIC PROOFS: A KANTIAN APPROACH TO AESTHETICS IN MATHEMATICS
    Wang, Weijia
    ESTETIKA-THE CENTRAL EUROPEAN JOURNAL OF AESTHETICS, 2019, 56 (02): : 223 - 243
  • [36] Reverse Mathematics: Problems, Reductions, and Proofs.
    Conidis, Chris J.
    BULLETIN OF SYMBOLIC LOGIC, 2023, 29 (04) : 660 - 662
  • [37] Lifting proofs from countable to uncountable mathematics
    Sanders, Sam
    INFORMATION AND COMPUTATION, 2022, 287
  • [38] On Proofs and Generalizations for Some Formulas in Actuarial Mathematics
    Chen Wanyi
    2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 5775 - 5778
  • [39] Philosophy of mathematics: An introduction to the world of proofs and pictures
    Ruffino, M
    ERKENNTNIS, 2001, 54 (03) : 404 - 407
  • [40] Philosophy of mathematics: An introduction to the world of proofs and pictures
    Hofweber, T
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2001, 52 (02): : 413 - 416
12345