Open Research Index

Que révèle l'activité de validation de démonstration circulaire sur la compréhension de démonstration

Alexis Gautreau

arXivarxiv/2601.14853Jan 21, 2026math.HOscore 0

This communication contributes to research on proof validation as a lens for uncovering didactical phenomena related to proof and proving. We revisit the puzzling case of lower secondary students in France who validate circular proofs. That is proofs in which the conclusion is used within a step of the proof itself. While these 12--13-year-old students accurately identify the final statement of such proofs as a reformulation of the conclusion of the claim, they encounter difficulties in interpreting how the condition of the claim is taken up within the proof. Our analysis challenges Miyazaki…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2601.14853
curl -X POST /api/v1/records/arxiv/2601.14853/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.14853/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'