Discussion:Marvin Minsky
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Machine à compteurs, machine de Turing[modifier le code]
En théorie de la calculabilité, les machines à compteurs s'appellent aussi machines de Minsky, et apparemment il s'agit bien du même Minsky. Reste à compléter les liens en rouge... Les machines à compteur sont aussi expressives que les machines de Turing, donc le problème de l'arrêt est indécidable. Tchai 20 novembre 2006 à 17:56 (CET)
- J'ai crée machine à compteurs. A vous de voir. Tchai 2 décembre 2006 à 17:38 (CET)
Mort[modifier le code]
Il est mort : [article].