Learning mathematical proof, lessons learned and outlines of a learning environment

Learning mathematical prooflesson learned from research

&principles of design of a learning environment

Nicolas.Balacheff@imag.fr

A controversial question...

What is a mathematical proof ?

The rôle of mathematical proofin the practice of mathematicians

Internal needs

Social communication

Internal needs

mathematicalrationalism

non mathematicalrationalismVersus

Internal needs

VersusRigour Efficiency

Internal needs

VersusRigour Efficiency

The specific economyof the practice of mathematics

Argumentationvs

Mathematical proof

Argumentation

content count

epistemic value

Mathematical proof

operational value count

structural value

Mathematical proof can be considered as an answer to...

The search for certainty

The need for communication

The search for understanding

Mathematical proof can be considered as an answer to...

The search for understandingThe search for certainty

The need for communicationYes, and the three

dimensions cannot be separated....

Learning mathematical proof,which genesis ?

the origin of knowledge is in actionbut the achievement of

Mathematical proof is in language

knowledge in action

knowledge in discourse

knowledge in action

construction

the origin of knowledge is in action

Yes, but...why is that true ?

formulationnature of

knowledgevalidation

demonstration

practice(know how)

Pragmaticproofs

knowledgevalidation

demonstration

language of afamiliar world

practice(know how)

Pragmaticproofs

knowledgevalidation

demonstration

language asa tool

practice(know how)

explicitknowledge

Pragmaticproofs

knowledgevalidation

demonstration

language asa tool

naïveformalism

practice(know how)

explicitknowledge

knowledgeas a theory

Pragmaticproofs

Intellectualproofs

knowledgevalidation

language

conceptualization

control

The origin of knowledge is in problems

in the case of proof, mathematical problem-solving is not enough

the need to stimulate a movementfrom proof as a tool to proof as an object

contradictions as means to give rise to the problem of proof

counter-examplesa revealers

socio-cognitifconflicts as catalysts

The origin of knowledge is in problems

in the case of proof, mathematical problem-solving is not enough

the need to stimulate a movementfrom proof as a tool to proof as an object

contradictions as means to give rise to the problem of proof

counter-examplesa revealers

socio-cognitifconflicts as catalysts

counter-examplesa

revealers

Counter-examples as revealers

Let ABCD be a parallelogram, A’ the symetric image of Awith respect to point B, B’ the symetric image of ...

A’B’C’D’ isa parallelogram

He!What about a square ? !

Let ABCD be a square...

A’B’C’D’ is alsoa square

Let ABCD be a square...

A’B’C’D’ is alsoa square

This is great!It holds!

So, let ABCD be a rectangle...

A’B’C’D’ is NOTa rectangle

So, let ABCD be a rectangle...

A’B’C’D’ is NOTa rectangle

Too bad!So what?

How to deal with a counter-example?

The mathematics classroom tends to be a manichean world:

to be or not to be true is the only question

Whereas an example proves mathematically nothing, a counter-example just destroyes every effort...

Could we revisit the old classical position?

ProofConjecture

Counter-example

ProofConjecture

Counter-example

The Lakatosiannightmare, again...

ProofConjecture

Rationality Knowledge

Counter-example

ProofConjecture

Rationality Knowledge

Counter-example

Where are we?

A constructivist approach is possible, but a problématiqueof proof must not be separated from knowledge construction

Regulation of cognitive processesrelated to proving in mathematics,treatment of refutations

Where are we?

Specific situations are needed in order to elicitthe meaning of mathematical proofs

The rôle of the teacher, negociationnot on the objects but on the means

Computer-based microworldscould offer a virtual reality tomathematical abstractions

Where are we?

Mathematics needs a specific milieu which feedbackcan reflect the specificities of its objects

Computer-based microworldscould offer a virtual reality tomathematical abstractions

Where are we?

Mathematics needs a specific milieu which feedbackcan reflect the specificities of its objects

Computer-basedmicroworldscould offer avirtual reality tomathematicalabstractions

Knowledge as the equilibrium state of a

Subject/Milieu System

action

feedback

Which characteristics for M in the case of mathematics?

action

feedback

The limits of the “real” world

action

feedback

N°16 - The rainwater from a flat roof 15m by 20m drains into a tank 3m deep on a base 4 m square. What depth of rainfall will fill the tank...(O level, 1978)

A domain of phenomenology

A formal system

action

feedback

The potential of computer-based environments

A formal system

action

feedback

mathematical properties as perceptual phenomena

computational representation of objects and relations

The potential of computer-based environments

A formal system

action

feedback

direct manipulation of graphical objects

formal objects and relationships, a cartesian model

The case of geometry

Cabri-géomètre, a dynamic geometry software

Construct the symmetrical point P1 of P about A,then the symmetrical point P2 of P1 about B, etc. Then, construct the point I, the midpoint of [PP3].

What can be said about the point I when P is moved?

I move P and I does not move.When, for example, we put P to the left,then P3 compensate to the right.If it goes up, then the other goes down...

knowledge in action

construction

TheoreticalGeometry

PracticalGeometry

TheoreticalGeometry

PracticalGeometry

geometrical figure

satisfiabilitytheoretical existence

TheoreticalGeometry

PracticalGeometry

geometrical figure

geometrical drawing

satisfiability

constructibility

theoretical existence

effective construction

TheoreticalGeometry

PracticalGeometry

geometrical figure

geometrical drawing

satisfiability

constructibility

rules of the art

mathematical proof

TheoreticalGeometry

PracticalGeometry

geometrical figure

geometrical drawing

satisfiability

constructibility

rules of the art

mathematical proof

TheoreticalGeometry

PracticalGeometry

geometricalobject

geometrical figure

geometrical drawing

satisfiability

constructibility

rules of the art

mathematical proof

The end?

in a mathematical microworld

for a rational agent, understanding the constraints of the mathematical discourse

V. Luengo 1997

From action...

... to formulation

DrawingDrawing

DrawingDrawingTextText

StructureStructure

This property appears to be true on your drawing,but it is not the case in general;

would you like a counter-example

The statement “[AC] is parallel to [KL]”cannot be obtained using this theorem.

The proof is correct but you have to provethe remaining conjectures

The (very) end!

Learning mathematical proof, lessons learned and outlines of a learning environment

Education

Transcript of Learning mathematical proof, lessons learned and outlines of a learning environment

Owicki-Gries Logic...CMSC 630 February 11, 2015 16 Facts about Normalized Proof Outlines Deﬁnition Let NS be a normalized proof outline for statement S. 1. If S0 is a statement in

Comenius Programme OUTLiNES. Outdoor Learning in Teacher Education Outdoor Learning as general practice in public schools.

Tragedy of the Commons - University of California, Berkeleybev.berkeley.edu/ipe/Outlines/Outlines 2013/25 Tragedy of the... · interdependence, proof that we all share a single home,

Junhong Lin and Ding-Xuan Zhou IEEE Proof · 2020. 5. 19. · IEEE Proof IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS 1 Online Learning Algorithms Can Converge Comparably

CHS LEARNING JOURNEY POSTER Landscape proof 1 · Title: CHS LEARNING JOURNEY POSTER Landscape proof 1 Created Date: 6/12/2018 3:28:54 PM

Presentation Outlines · 2018. 7. 8. · Presentation Outlines • Learning objectives • STEM in Malaysia ... Source : Institut Pengajian Siswazah International Students Number

Proof of Concept for Learning Analytics Interoperability

Proof in Mathematics Education Proof in Mathematics A. Reid with Christine Knipping Proof in Mathematics Education Proof in Mathematics Education Research, Learning and Teaching David

Scholastic Learning Zone Proof rel15cdn.scholasticlearningzone.com/docs/Scholastic_Learning_Zone_Qui… · Scholastic Learning Zone User’s Guide * Scholastic*Learning*ZoneUser’s*Guide*

Yawn Proof Your e-Learning without Busting the Bank

Chapter 9: Reports and Outlines © 2010, 2006 South-Western, Cengage Learning.

Proof of Conc ept Test Plan - 911 · NG9-1-1 Proof of Concept Test Plan For USDOT Distribution Only 5 June 2008 • 2 General Testing Methodology —This section outlines the methodology

MEX-P1 The nature of proof Y12 · Web viewThis table outlines content and duration of the unit. MEX-P1 The nature of proof Unit duration The topic Proof involves the communication

Lesson Study: Challenges & Opportunities for Learning Proof

Writing Educational Goals/Program Objectives and Learning ...€¦ · OUTCOMES Course Outlines Effective Learning Outcome Statement Action Verb Content Skills and Knowledge Student

Pokemon Learning League Outlines

Author Proof for Collaborative Learning Flow Orchestration ...

ECOM Learning Course Outlines

A ‘Leak-Proof’ WaterlineLeak-Proof’ Waterlinenickel-japan.com/magazine/pdf/200310_EN.pdf · online learning tools for the chemical process industry. ... high-rise buildings

The Proof is in the Pudding: Showing that Learning ...The Proof is in the Pudding: Showing that Learning Communities Work from Five Years of Institutional Research District Opening

Scholastic Learning Zone Proof rel15cdn.scholasticlearningzone.com/docs/Scholastic_Learning_Zone_Qui… · Scholastic Learning Zone User’s Guide * ScholasticLearningZoneUser’sGuide