Chasse à la citation

L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?

Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !

Sur la page Automate cellulaire :

"

M. Cook[Qui ?] a prouvé que l'automate cellulaire élémentaire numéro 110 (01101110 en binaire) est Turing-complet. Il a présenté ses idées dès 1998 à la conférence CA98[réf. nécessaire], mais ce résultat n'a été (partiellement) diffusé par écrit qu'en 2002 à travers A New Kind of Science[1] de S. Wolfram. En effet, M. Cook était employé par Wolfram Research pour travailler sur le livre A New Kind of Science et ses travaux ne furent pas publiés dans les actes de CA98 à la suite d'une action en justice fondée sur un accord de non-divulgation. La preuve complète du résultat de M. Cook a finalement été publiée dans une revue scientifique en 2004[2].