Skip to Main content Skip to Navigation
Conference papers

PRATIQUES LANGAGIÈRES ET PREUVES

Résumé : Dans cet atelier, nous nous penchons sur les pratiques langagières des mathématiciens concernant les preuves. Nous travaillons à partir de preuves de mathématiciens de la propriété « un entier et son carré ont même parité ». Nous présenterons le référent utilisé (empruntant certains éléments de la logique des prédicats, de la déduction naturelle) et nos premières analyses. L'atelier a débuté par un petit travail de mise en jambe permettant de faire connaissance avec la preuve qui est au centre des analyses présentées. Nous proposons au lecteur de faire le même travail avant de commencer sa lecture : rédiger une preuve de la proposition « Un entier et son carré ont toujours même parité » (preuve à rédiger, si possible, à destination d'un public de première année d'université ou de fin de terminale scientifique).
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01285116
Contributor : Christophe Hache <>
Submitted on : Tuesday, March 8, 2016 - 5:24:15 PM
Last modification on : Tuesday, April 13, 2021 - 11:26:02 AM
Long-term archiving on: : Sunday, November 13, 2016 - 11:37:48 AM

File

Actes_Corfem_2015-Hache_Mesnil...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01285116, version 1

Citation

Christophe Hache, Zoé Mesnil. PRATIQUES LANGAGIÈRES ET PREUVES. XXIIIe Colloque CORFEM, Jun 2015, Nîmes, France. ⟨hal-01285116⟩

Share

Metrics

Record views

524

Files downloads

336