PRATIQUES LANGAGIÈRES ET PREUVES - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

PRATIQUES LANGAGIÈRES ET PREUVES

Zoé Mesnil

Abstract

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).
Fichier principal
Vignette du fichier
Actes_Corfem_2015-Hache_Mesnil_20160214.pdf (1.12 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01285116 , version 1 (08-03-2016)

Identifiers

  • HAL Id : hal-01285116 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More