Comments on Wikipédia kaputt, Gödel, Turing, et autres bêtises

Ruxor (2005-02-24T09:49:25Z)

J'ai demandé des références plus avancées (mais c'était sur les degrés de Turing précisément) sur sci.math.research et on m'a conseillé *Higher Recursion Theory* ou *Degrees of Unsolvability* de Gerlad Sacks et *Classical Recursion Theory* de Piergorgio Odifreddi.

Damien (2005-02-24T08:22:42Z)

Le Rogers est un classique de qualité, mais assez démodé tout de même puisqu'il date de la fin des années 60 (l'édition MIT n'était qu'une réimpression).

L'informatique théorique a quand même pas mal évolué depuis…

Je conseille par exemple le Rey chez Vuibert (_Calculabilité, complexité et approximation_), synthétique et déjà assez complet et profond ; il est récent.

Il y a pas mal de bonnes choses récentes en Angais aussi, je peux approfondir si besoin…

Ruxor (2005-02-23T20:38:09Z)

Si, si, j'en ai une copie en local (sauf deux-trois modifications que j'ai faites après coup, mais elles sont très mineures comme on peut le voir sur le log). Mais ceux qui complotent contre moi ne pouvaient pas le savoir. :-)

f3etoiles (2005-02-23T15:01:14Z)

Je ne comprends pas, là, David… Après tout ce que tu racontes sur l'informatique, ta malchance usuelle, et tout, et tout, tu veux dire que tu as écris un article (long et dur à rédiger) pour la Wikipedia *directement* "chez eux", sans le mettre en forme au préalable sur ton ordinateur et en garder une copie de secours? C'est surprenant…


You can post a comment using the following fields:
Name or nick (mandatory):
Web site URL (optional):
Email address (optional, will not appear):
Identifier phrase (optional, see below):
Attempt to remember the values above?
The comment itself (mandatory):

Optional message for moderator (hidden to others):

Spam protection: please enter below the following signs in reverse order: 6b7565


Recent comments