skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Differences in Students’ Beliefs and Knowledge Regarding Mathematical Proof: Comparing Novice and Experienced Provers
Learning to interpret proofs is an important milepost in the maturity and development of students of higher mathematics. A key learning objective in proof-based courses is to discern whether a given proof is a valid justification of its underlying claim. In this study, we presented students with conditional statements and associated proofs and asked them to determine whether the proofs proved the statements and to explain their reasoning. Prior studies have found that inexperienced provers often accept the proof of a statement’s converse and reject proofs by contraposition, which are both erroneous determinations. Our study contributes to the literature by corroborating these findings and suggesting a connection between students’ reading comprehension and proof validation behaviors and their beliefs about mathematical proof and mathematical knowledge base.  more » « less
Award ID(s):
1954768
PAR ID:
10463944
Author(s) / Creator(s):
; ; ; ;
Editor(s):
Cook, S.; Katz, B.; Moore-Russo D.
Date Published:
Journal Name:
Proceedings of the Annual Conference on Research in Undergraduate Mathematics Education
ISSN:
2474-9346
Page Range / eLocation ID:
600-608
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ; ; (, Proceedings of the Annual Conference on Research in Undergraduate Mathematics Education)
    Cook, S.; Katz, B.; Moore-Russo, D. (Ed.)
    This study explores how instructional interventions and teacher moves might support students’ learning of logic in mathematical contexts. We conducted an exploratory teaching experiment with a pair of undergraduate students to leverage set-based reasoning for proofs of conditional statements. The students initially displayed a lack of knowledge of contrapositive equivalence and converse independence in validating if a given proof-text proves a given theorem. However, they came to conceive of these logical principles as the teaching experiment progressed. We will discuss how our instructional interventions played a critical role in facilitating students’ joint reflection and modification of their reasoning about contrapositive equivalence and converse independence in reading proofs. 
    more » « less
  2. ; ; ; ; ; ; ; ; (, Canadian Journal of Science, Mathematics and Technology Education)
    Abstract The Reading and Appreciating Mathematical Proofs (RAMP) project seeks to provide novel resources for teaching undergraduate introduction to proof courses centered around reading activities. These reading activities include (1) reading rich proofs to learn new mathematics through proofs as well as to learn how to read proofs for understanding and (2) reading mathematician stories to humanize proving and to legitimize challenge and struggle. One of the guiding analogies of the project is thinking about learning proof-based mathematics like learning a genre of literature. We want students to read interesting proofs so they can appreciate what is exciting about the genre and how they can engage with it. Proofs were selected by eight professors in mathematics who as curriculum co-authors collected intriguing mathematical results and added stories of their experience becoming mathematicians. As mathematicians of colour and/or women mathematicians, these co-authors speak to the challenges they faced in their mathematical history, how they overcame these challenges, and the key role mentors and community have played in that process. These novel opportunities to learn to read and read to learn in the proof-based context hold promise for supporting student learning in new ways. In this commentary, we share how we have sought to humanize proof-based mathematics both in the reading materials and in our classroom implementation thereof.  
    more » « less
  3. ; ; (, SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computer Science Education)
    Rigorous, mathematical reasoning, i.e., proof, is the foundation of any undergraduate computer science education. However, students find mathematical proof exceedingly challenging, but also at the same time do not see its relevance to programming. We address these concerns with Snowflake, an educational proof assistant designed to help undergraduates overcome these difficulties when authoring mathematical proof. Snowflake does this by operating in a context where mathematical proof is introduced alongside programming in either a CS1 or CS2 context. The lens that we use to unite the two concepts is program correctness, a topic that immediately makes relevant the concept of formal reasoning as students are perpetually faced with the issue of whether their code is correct. Snowflake is a proof assistant designed for the needs of undergraduates in courses that closely time programming and proof. It is a web-based application that helps students author proofs not only in the context of program correctness in-the-small, but also other topics found in discrete mathematics courses. We report on the design of Snowflake, the kinds of reasoning it enables, and our plans to deploy Snowflake in the classroom. 
    more » « less
  4. ; ; ; (, Psychology in Mathematics Education - North America)
    In transition to proof courses for undergraduates, we conducted teaching experiments supporting students to learn logic and proofs rooted in set-based meanings. We invited students to reason about sets using three representational systems: set notation (including symbolic expressions and set-builder notation), mathematical statements (largely in English), and Euler diagrams. In this report, we share evidence regarding how these three representations provided students with tools for reasoning and communicating about set relationships to explore the logic of statements. By analyzing student responses to tasks that asked them to translate between the representational systems, we gain insight into the accessibility and productivity of these tools for such instruction. 
    more » « less
  5. ; (, Congress of the European Society for Research in Mathematics Education)
    We use a curriculum design framework to analyze how prospective secondary teachers (PSTs) designed and implemented in local schools, lessons that integrate ongoing mathematical topics with one of the four proof themes addressed in the capstone course Mathematical Reasoning and Proving for Secondary Teachers. In this paper we focus on lessons developed around the conditional statements proof theme. We examine the ways in which PSTs integrated conditional statements in their lesson plans, how these lessons were implemented in classrooms, and the challenges PSTs encountered in these processes. Our results suggest that even when PSTs designed rich lesson plans, they often struggled to adjust their language to the students’ level and to maintain the cognitive demand of the tasks. We conclude by discussing possible supports for PSTs’ learning in these areas. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email