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

  • A Conceptual View of Web-Based E-Learning Systems. Schewe, Klaus-Dieter; Thalheim, Bernhard; Binemann-Zdanowicz, Aleksander; Kaschek, Roland; Kuss, Thomas; Tschiedel, Bernd // Education & Information Technologies;Jan2005, Vol. 10 Issue 1/2, p83 

    Starting from a general framework for web-based e-learning systems that is based on an abstraction layer model, this paper presents a conceptual modelling approach, which captures the modelling of learners, the modelling of courses, the personalisation of courses, and the management of data in...

  • Analysis of an Online Case Discussion about Teaching Stochastics. Groth, Randall E. // Mathematics Teacher Education & Development;2005/2006, Vol. 7, p53 

    Online learning, case discussions, and stochastics instruction have all become increasingly active strands of research in mathematics education. This study integrates the three strands. The nature of the discourse during an online case discussion among prospective secondary teachers is analysed....

  • 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...

  • Procedural Knowledge in the Presence of a Computer Algebra System (CAS): Rating the Drawbacks Using a Multi-factorial Evaluation Approach. Abdullah, Lazim M. // International Journal for Technology in Mathematics Education;2007, Vol. 14 Issue 1, p14 

    Computer algebra systems (CASs) have been used by thousands of teachers and students for teaching and learning algebra. They have the ability to perform efficiently almost all of the algebraic expansions and simplifications. Nevertheless, the traditional approach of using paper and pencil in...

  • 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...

  • The Impact Of Course Length On Online Numeric-Based Course Grades. Mensch, Scott // Contemporary Issues in Education Research;4th Quarter, Vol. 6 Issue 4, p439 

    When offering online classes, it is necessary to ensure that all course material and objectives will be covered and learners will be successful in the course. This becomes especially important when the same class material and objectives are offered in a three-, five-, and fourteen-week format....

  • 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...

  • LUCKY FRACTIONS CONTINUED. Oster, Matt; Parvin, Josh // Mathematics & Computer Education;Fall2008, Vol. 42 Issue 3, p208 

    This article offers information on lucky fractions. The article deals with fractions with several restrictions. It states that lucky fractions will have the same number of digits in the numerator as in the denominator. Also discussed are lucky fraction properties, particularly the Subtraction...


Read the Article


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

Try another library?
Sign out of this library

Other Topics