Exemple, explication et processus de démonstration
The article looks at the proving process in mathematics from a didactic perspective. The study seeks to identify what metamathematics knowledge is at stake when mathematicians produce proof of implications with universal quantifiers. For this reason, we propose a modelling of the proof process – fro...
Сохранить в:
| Опубликовано в: : | URI:https://journals.openedition.org/adsc, |
|---|---|
| Главные авторы: | , |
| Формат: | Article ou chapitre numérique |
| Язык: | Français |
| Опубликовано: |
Annales de Didactique et de Sciences Cognitives
2022
|
| Предметы: | |
| Online-ссылка: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Итог: | The article looks at the proving process in mathematics from a didactic perspective. The study seeks to identify what metamathematics knowledge is at stake when mathematicians produce proof of implications with universal quantifiers. For this reason, we propose a modelling of the proof process – from the manipulation of examples to the finished product – based on dialogic logic tools. This modelling leads us to a characterization of the enunciative position which is needed to elaborate proofs. The results are derived from two cases: one in arithmetic integers, another in plane geometry. Their comparison allows us to discuss the limits of a transversal approach to this meta-mathematical knowledge without taking into account the specificity of mathematical fields. |
|---|