« L'incomplétude mathématique/Le théorème fondamental de l’indécidabilité et le problème de Turing » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique
m Robot : Remplacement de texte automatisé (-\|\s?leçon\s?=?\[\[([^\]])*\]\] + | leçon = ../)
Ligne 2 :
|titre=Le théorème fondamental de l’indécidabilité et le problème de Türing
|idfaculté=mathématiques
| leçon = [[../]]
|numero=6
|précédent=[[../Les ensembles décidables et énumérables/]]
Ligne 52 :
{{Bas de page
|idfaculté=mathématiques
| leçon = [[../]]
|précédent=[[../Les ensembles décidables et énumérables/]]
|suivant=[[../Où sont les axiomes manquants ?/]]