Mathematics Division Seminar
16 October 2017
Abstract:
Mathematics Division Seminar
16 October 2017
Abstract:
Mathematics Division seminar
Monday 27 February 2017
Abstract:
Deductive reasoning and proof is one of the hallmarks of mathematics, and is an important factor in distinguishing mathematics from empirical sciences. Fluency in calculation, including symbolic manipulation in algebra and calculus, sit alongside deduction, reasoning and problem solving. “Core pure mathematics” is that essential amalgam which is universally studied by all mathematics, science and engineering students. It starts with traditional algebra, trigonometry and calculus, culminating with De Moivre’s theorem and its consequences while stopping short of real analysis. Presentations of core pure mathematics often contain little explicit “proof” beyond formulaic proof by induction, but it is where proof starts for pure mathematicians. Core pure mathematics contains a key activity “reasoning by equivalence”. This is reasoning and is key in many of the deductions at this level, but it is very close to a calculation. Indeed, in many situations it can be treated formally as a calculation. This talk will look at the interplay between calculation and reasoning, with a focus on automatic assessment. To what extent can we automate the assessment of reasoning now, and where are the limits of automatic assessment in the future?
This blog will provide a platform for publication and discussion of the Scholarship of Teaching and Learning (SoTL) activities in the Division of Maths at the University of Dundee.
Hard Sums is in part an acronym: SUMS standing for Scholarship of University Mathematical Studies. (Yes, it’s a stretch!)
My uncle, (who never enjoyed the maths he took at university), once introduced me as his “nephew who does hard sums”. Maybe this blog is about the ‘hard’ part of the title.
John McDermott