Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?

Montaño, Ulianov
December 2012
Mathematical Intelligencer;Dec2012, Vol. 34 Issue 4, p21
Academic Journal
The author discusses an analogy between narratives and mathematical proofs that tries to account in a simple manner for the ugliness of computer-assisted proofs. He mentions that the ugliness is not essentially associated to methodological or epistemic problems with the evidence. He states that nonbeautiful proof may just be an uninspiring toward where mathematicians reveal indifference.


Related Articles

  • RAPID PROTOTYPED TEACHING MODELS FOR VOLUMES OF REVOLUTION AND VOLUMES BY CROSS-SECTION IN COLLEGE CALCULUS. Kolpas, Sid; Ferguson, Tom // Mathematics & Computer Education;Fall2007, Vol. 41 Issue 3, p244 

    The article provides rapid prototyped teaching models for volumes of revolution and volumes by cross-section in college calculus. Using the Computer Assisted Drafting/Computer Assisted Manufacturing (CAD/CAM) process, the models were created to give students with a hands-on understanding of the...

  • Computer Tutorials to Visualise Symmetry in Introductory Group Theory. Wick, Darren D. // International Journal for Technology in Mathematics Education;2007, Vol. 14 Issue 1, p50 

    The author has developed five interactive computer tutorials that introduce the basic ideas of group theory within the context of symmetry groups. The tutorials are interactive and employ moving images that describe the motions of various geometric figures. The user is asked questions designed...

  • Assessment, Blending and Creativity: The ABC of Technology in Mathematics Teaching. McCabe, Michael // International Journal for Technology in Mathematics Education;2007, Vol. 14 Issue 1, p54 

    Recent papers at ICTMT conferences have highlighted different aspects of technology in mathematics teaching: computer based learning with computer algebra (1997), on-line assessment (1999), computer assisted assessment for higher level learning (2001) and interactive classrooms (2003). Blended...

  • Visualising solutions of systems of equations through Mathematica. Ghosh, Jonaki B. // Australian Senior Mathematics Journal;2003, Vol. 17 Issue 2, p13 

    Presents an article about the experiences of a mathematics teacher in teaching with the help of computer algebra systems to achieved balance between the development of procedural and conceptual knowledge. Aim laboratory sessions; Integration of the use of computer algebra systems with by-hand...

  • Dawn of Science. Padmanabhan, T. // Resonance: Journal of Science Education;Feb2012, Vol. 17 Issue 2, p106 

    Foundations of calculus were developed by a school of mathematicians in Kerala during 1400-1600, years before similar developments took place in the west.

  • Connecting theory and practice: Results from the teaching of Logo. Sutherland, Rosamund // Educational Studies in Mathematics;Jan1993, Vol. 24 Issue 1, p95 

    Deals with pupils' learning of the concept of variable in the Logo programming environment and how this relates to teaching. The Logo maths project; Peer group discussion in a computer environment; Project AnA.

  • Angle and rotation: Effects of different types of feedback on the quality of response. Simmons, Malcom; Cope, Peter // Educational Studies in Mathematics;Mar1993, Vol. 24 Issue 2, p163 

    Compares the levels of response to angle/rotation problems presented on screen using a Logo microworld with the levels of response to similar problems presented on paper. Research background; Nature of the study; Paper tests; Computer tests; Data collection and analysis; Results and discussion.

  • Editorial. Edwards, Julie-Ann; Wright, David // Micromath;Summer2003, Vol. 19 Issue 2, p2 

    Editorial. Introduces a series of articles the use of information and communications technologies in the study and teaching of mathematics. Use of the Internet in the classroom; Software packages; Role of animation as a tool to improve understanding of trigonometric functions.

  • MATH ONLINE. Butler, Douglas // Micromath;Summer2003, Vol. 19 Issue 2, p7 

    Presents activities designed to enrich and stimulate pupils' knowledge of mathematics using the Internet. Definition of mathematics; Fibonacci sequence and nature; Fractals.


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics