Il y démonte toutes les vélléités d'application du théorème de Gödel en dehors des mathématiques (et par extension de l'informatique théorique/formelle) qui servent un peu trop souvent à raconter n'importe quoi.
Il y a un tas d'autres excellents articles (scientisme et obscurantisme a été une mini-révélation pour moi) concernant la logique sur sa page :
[^] # Re: Codé en Brainfuck [0]...
Posté par mouftard . En réponse au journal [Blogs] Maitre Eolas vs José Bové, deuxième épisode. Évalué à 3.
http://iml.univ-mrs.fr/~girard/godel.pdf.gz
Il y démonte toutes les vélléités d'application du théorème de Gödel en dehors des mathématiques (et par extension de l'informatique théorique/formelle) qui servent un peu trop souvent à raconter n'importe quoi.
Il y a un tas d'autres excellents articles (scientisme et obscurantisme a été une mini-révélation pour moi) concernant la logique sur sa page :
http://iml.univ-mrs.fr/~girard/Articles.html
Attention, le monsieur ne mâche pas ses motsidées.
[0] : inventeur/découvreur notamment du lambda-calcul de second ordre, Système F. http://iml.univ-mrs.fr/~girard/