Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide
RésuméRav (1999 et 2007) et Leitgeb (2009) défendent la thèse de l’autonomie des preuves informelles par rapport aux systèmes formels de preuve. Azzouni (2004, 2005, et 2009), au contraire développe une explication qui réduit les preuves informelles à un réseau de systèmes formels sous-jacents. L’ob...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Sprache: | Français |
| Veröffentlicht: |
2011
|
| Online Zugang: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |