100, rue des maths 38610 Gières / GPS : 45.193055, 5.772076 / Directeur : Louis Funar

Autour de la théorie de Péano et de la notion de décidabilité

Mercredi, 17 Avril, 2013 - 16:30
Prénom de l'orateur : 
Alexandre
Nom de l'orateur : 
Aksenov
Résumé : 

Il est bien connu qu'aucune discipline scientifique (que ce soit la physique, médecine, astronomie, ...) ne peut définir son objet d'étude dans ses propres termes. Nous allons appliquer ce principe aux mathématiques et donner deux définitions d' entiers naturels. Nous introduirons la notion (avec des exemples) d'ensemble décidable pour illustrer le pouvoir d'expression de l'axiomatique de Péano de premier ordre, ensuite un énoncé non prouvable dans cette axiomatique.

Page du séminaire compréhensible : http://www-fourier.ujf-grenoble.fr/~magotjm/seminaire_comprehensible/ind...

Institution de l'orateur : 
Institut Fourier
Thème de recherche : 
Compréhensible
Salle : 
04
logo uga logo cnrs