Mathematics Division seminar<\/p>\n
Monday 27 February 2017<\/p>\n
Abstract:<\/p>\n
Deductive reasoning and proof is one of the hallmarks of mathematics, and is an important factor in distinguishing mathematics\u00a0from empirical sciences. Fluency in calculation, including symbolic manipulation in algebra and calculus, sit alongside deduction,\u00a0reasoning and problem solving. “Core pure mathematics” is that essential amalgam which is universally studied by all\u00a0mathematics, science and engineering students. It starts with traditional algebra, trigonometry and calculus, culminating with De\u00a0Moivre’s theorem and its consequences while stopping short of real analysis. Presentations of core pure mathematics often\u00a0contain little explicit “proof” beyond formulaic proof by induction, but it is where proof starts for pure mathematicians. \u00a0Core pure\u00a0mathematics contains a key activity “reasoning by equivalence”. This is reasoning and is key in many of the deductions at this level,\u00a0but 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\u00a0interplay between calculation and reasoning, with a focus on automatic assessment. To what extent can we automate the\u00a0assessment of reasoning now, and where are the limits of automatic assessment in the future?<\/p>\n","protected":false},"excerpt":{"rendered":"
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\u00a0from empirical sciences. Fluency in calculation, including symbolic manipulation in algebra and calculus, sit alongside deduction,\u00a0reasoning and problem solving. “Core pure mathematics” is that essential amalgam which is universally… Read More »Automatic Assessment of Reasoning by Equivalence – Chris Sangwin<\/span><\/a><\/p>\n","protected":false},"author":331,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"neve_meta_sidebar":"","neve_meta_container":"","neve_meta_enable_content_width":"","neve_meta_content_width":0,"neve_meta_title_alignment":"","neve_meta_author_avatar":"","neve_post_elements_order":"","neve_meta_disable_header":"","neve_meta_disable_footer":"","neve_meta_disable_title":"","footnotes":""},"categories":[2,3],"tags":[],"class_list":["post-18","post","type-post","status-publish","format-standard","hentry","category-dundee-maths","category-sotl"],"_links":{"self":[{"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/posts\/18","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/users\/331"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/comments?post=18"}],"version-history":[{"count":1,"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/posts\/18\/revisions"}],"predecessor-version":[{"id":59,"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/posts\/18\/revisions\/59"}],"wp:attachment":[{"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/media?parent=18"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/categories?post=18"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.dundee.ac.uk\/sums\/wp-json\/wp\/v2\/tags?post=18"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}