Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité

Type de document :
Article dans une revue
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1992, 315, pp.1431-1434
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00095664
Contributeur : Patrick Cegielski <>
Soumis le : lundi 18 septembre 2006 - 10:13:12
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-00095664, version 1

Collections

Citation

Patrick Cegielski, Denis Richard. Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1992, 315, pp.1431-1434. 〈hal-00095664〉

Partager

Métriques

Consultations de la notice

178