En logique mathématique, le théorème de Tennenbaum dit qu'aucun modèle non-standard de l'arithmétique de Peano n'est récursif. Il en résulte que dans un tel modèle, l'addition et la multiplication ne sont pas toutes les deux calculables. Cela inspire au voyageur des sentiments mélancoliques et même de l'horreur.
(Szczur Włodzisław, Mathématique du néant)
Aucun commentaire:
Enregistrer un commentaire