Quelle est la réalité du lambda-calcul la structure logique sous-jacente aux langues naturelles dont les mathématiques, inscrite dans le cerveau ?

Réponse publiée sur Quora

Houlala quelle salade…

Le Lambda-calcul est quelque chose de bien défini en maths et très utilisé en informatique. Il fut un temps où on pensait qu’il serait plus aisé de faire de l’intelligence artificielle avec ça à l’époque de Lisp , mais si vous faites de la Programmation fonctionnelle aujourd’hui en JavaScript ou TypeScript, vous savez que ce n’est pas du tout proche de votre langue naturelle ni du fonctionnement de votre cerveau.

Et les maths ne sont ni une langue naturelle, ni inscrits dans notre cerveau.

Vous prévoyez lancer une nouvelle religion New Age basée sur le Lambda-calcul ? C’est vrai que ça sonne bien, mais vous avez oublié la sauce quantique indispensable de nos jours…