TSG 19: Reasoning, proof and proving in mathematics education


Team Chairs

Guershon Harel, Department of Mathematics – 0112, University of California, San Diego
Address:
La Jolla, CA 92093 – 0112, USA
harel@math.ucsd.edu

Sri Wahyuni, Department of Mathematics, Faculty of Mathematics and Natural Science, Gadjah Mada University
Address: Sekip Utara, Yogyakarta, 555281, Indonesia

swahyuni@indosat.net.id

 

Team Members

Gudmundur Birgisson, Iceland University of Education, Iceland
gudmundur@birgisson.com

Christine Knipping, University of Hamburg, Germany
knipping@uni-hamburg.de

David A. Reid, School of Education, Acadia University, Canada
david.reid@acadiau.ca

 

Aims and Focus

Call for Papers

Practical Information

List of Accepted Papers

Updated Information

Programme

 

Aims and Focus

We aim to provide opportunity for TSG-19 participants to share their research in reasoning and proving in mathematics education.  Our focus is on the following themes:

§          An international perspective on research on reasoning and proof, with particular emphasis on research conducted outside of Europe and North America

§          Transition from informal argumentation to formal proof in mathematics classrooms, including classrooms where technology is used.*   

* This does not exclude discussions of cases where formal proofs did not arise naturally from informal arguments.

Note:  The current focus is the second theme since all the papers that were submitted centered on the second theme.

 

Call for Papers

We encourage interested participants to submit their paper in the form of a short discussion (< 2000 words).  There will be two rounds of paper submission so that papers could be realigned to form a coherent body of work.  We will post all submitted papers on this site.  In addition, we will post some guiding questions to help authors realign their papers with other submitted papers.  We will put together a programme based on these revised papers.  Significant papers related to the above themes will be presented in one of the three 1-hour slots.  However, we couldn’t guarantee that all revised papers will be presented.  Nevertheless, the programme will be designed so that the ideas and issues raised in the revised papers are tabled for discussion during the conference.

 

Practical Information

§          Jan 15, 2004:   Deadline for first round of paper

§          Jan 16, 2004:   Submitted papers available for online access

§          April 1, 2004:   Final programme

 

Please e-mail your paper as word documents to:
1.  The organizing chair Guershon Harel at
harel@math.ucsd.edu
2.  The organizing co-chair Sri Wahyuni at swahyuni@indosat.net.id

3.  Harel's in-house associate Kien Lim at kienlim@mail.sdsu.edu.  

 

List of Accepted Papers

The papers are listed in the order in which they will be presented.

1A.   Mathematicians’ perspectives on the transition to formal proof
Presenter: Lara Alcock

1B.   A pilot study on five mathematicians’ pedagogical views on proof (Full Paper)
Presenter: Kirsti Nordström

2A.   Proofs as a tool to develop intuition
Presenter: Alexander Khait

2B.   Key ideas in the context of a proof from collegiate calculus
Presenter:
Manya Raman

3A.   The role of logic in teaching proof (This article was first published by the American Mathematical Monthly, which holds the copyright with all rights reserved.)
Presenter: Susanna Epp

3B.   Improving reasoning abilities of 5th-6th grade pupils using a specially designed teaching unit in pre-formal logic
Presenters: Raisa
Guberman, Marita Barabash

4A.   Polyminos: A way to teach the mathematical concept of implication
Presenter: Virginie Deloustal-Jorrand

4B.   The nature of students’ rule of inference in proving: The case of reflective symmetry
Presenter: Takeshi Miyakawa

 

Updated Information

Authors need not resubmit their papers in response to guiding questions as initially announced.  Instead, the authors are encouraged to communicate with each other about the research reported in their papers.  Please include other authors, team chairs, and team members in your correspondence.

 

Programme

TSG-19 will meet four times, three 1-hour and one 90-minute sessions.  Two papers will be presented on each session.  On the final session the discussant, Gudmundur Birgisson, will speak for 15 minutes, followed by a 15 minutes of general discussion among all participants.

 

 

July 6 (Tues)

July 7 (Wed)

July 9 (Fri)

July 10 (Sat)

12:00 pm

 

1A  L. Alcock

2A  A. Khait

3A  S. Epp

4A  V. Deloustal-Jorrand

12:20 pm

Question & Answer

12:30 pm

 

1B  K. Nordström

2B  M. Raman

3B  R. Guberman and M. Barash

4B  T. Miyakawa

12:50 pm

Question & Answer

 1:00 pm

 

 

 

Discussant

 1:15 pm

 

 

 

Discussion