Mathématice, intégration des Tice dans l'enseignement des mathématiques  
Sommaire > N°61 - septembre 2018 > Reprise du séminaire de l’IREM de Paris
Reprise du séminaire de l’IREM de Paris
Mis en ligne le 7 septembre 2018

La première conférence de l’année 2018-2019 aura lieu

mercredi 10 octobre à 16h30

à l’amphi Turing, bâtiment Sophie Germain.

avec René Cori, de l’Université Paris Diderot, membre de l’équipe de logique et animateur à l’IREM.

Titre : " Propositions mathématiques indécidables"

Résumé :
Nous savons tous qu’il y a en mathématiques des propositions que l’on ne peut ni démontrer ni réfuter, comme par exemple l’axiome du choix ou l’hypothèse du continu. On entend aussi parler parfois de propositions « vraies » mais « non démontrables ».

Qu’est-ce que tout cela signifie au juste ? Et l’existence de telles propositions est-elle inévitable ?

La notion de « modèle de la théorie des ensembles » aide à y voir plus clair. Bien entendu, il faut préciser ce que veut dire « démontrer » ! Partant de considérations très élémentaires sur les groupes, nous expliquerons ce qu’est une théorie complète et pourquoi les mathématiques sont irrémédiablement incomplètes.

Moteur de recherche
MathémaTICE est un projet
en collaboration avec
Suivre la vie du site Flux RSS 2.0  |  Espace de rédaction  |  Nous contacter  |  Site réalisé avec: SPIP  |  N° ISSN 2109-9197