C'est d'un truc comme ça dont tu parles ? « Il s'agit d'une hypothèse (ou d'une théorie) proposée par le logicien et mathématicien français Jean-Louis Krivine, selon laquelle les couches fonctionnelles logiques de base du cerveau, juste au dessus de l'architecture physique des neurones, parleraient un langage proche ou analogue au lambda-calcul. » http://www.afia.polytechnique.fr/node.php?lang=en&node=246(...)
# Re: Lambda calcul
Posté par Vivi . En réponse au journal Lambda calcul. Évalué à 3.
« Il s'agit d'une hypothèse (ou d'une théorie) proposée par le logicien et mathématicien français Jean-Louis Krivine, selon laquelle les couches fonctionnelles logiques de base du cerveau, juste au dessus de l'architecture physique des neurones, parleraient un langage proche ou analogue au lambda-calcul. »
http://www.afia.polytechnique.fr/node.php?lang=en&node=246(...)
Sinon, un bon cours d'intro sur le lambda calcul :
http://www.cs.kun.nl/~erikb/T2/dictaat/t2.ps.Z(...)