Knowtex

Est-ce qu’une proposition mathématique est obligatoirement soit vraie soit fausse? La logique peut-elle venir à bout de toute question mathématique clairement posée? Cette semaine, c’est Robin Jamet, lauréat du Prix d’Alembert 2012 qui vient nous parler des fameux théorèmes d'incomplétude de Göde…

Est-ce qu’une proposition mathématique est obligatoirement soit vraie soit fausse? La logique peut-elle venir à bout de toute question mathématique clairement posée? Cette semaine, c’est Robin Jamet, lauréat du Prix d’Alembert 2012 qui vient nous parler des fameux théorèmes d'incomplétude de Göde…

Collège de France - Chaire de philosophie du langage et de la connaissance - Jacques Bouveresse (2006).

Gödel a démontré en 1931 deux résultats mathématiques : (i) Il se peut que dans certains cas, on puisse démontrer une chose et son contraire (inconsistance) ; (II) Il existe des vérités mathématiques qu'il est impossible de démontrer (incomplétude).