Poster un commentaire à la suite de l’article...

lundi 13 avril 2015
par  Olivier MUZEREAU

Anatomie de la construction d’un énoncé mathématique indécidable

Kurt Gödel a su construire un énoncé mathématique concernant les nombres entiers qui est vrai, mais qui ne peut être mécaniquement déduit en partant des axiomes de base et en utilisant les règles d’inférences classiques de l’arithmétique. En nous inspirant du travail éclairant de Raymond Smulyann, nous présentons ici, analogies et exemples à l’appui, quelques-uns des schèmes permettant de construire cet énoncé vrai et indémontrable.

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.