TPE maths-philo !!!!

Bonjour, c'est la première fois que je viens sur ce forum et je me demandais s'il était possible d'avoir un petit coup de pouce:rolleyes:
Moi et mes amies sommes en Term S et faisons un TPE maths-philo. Nous nous sommes décidées pour travailler sur le Lambda-calcul (qui est, pour tout vous avouer, très complexe !).
Après avoir fait des recherches, nous avons opté comme problématique:
Le Lambda-calcul peut-il etre un langage universel ?:fused:
L'un des documents que nous avons, est un dossier sur la théorie de Jean-Louis Krivine, mathématicien de grande renommée et qui pense que le lambda-calcul serait à l'origine de la pensée humaine et aussi de toutes les langues.
Seulement voilà, nous ne savons pas vraiment en quoi consisterait un langage universel et déjà qu'est-ce que l'universel ?
Le langage est à différencier de la langue mais qu'est-ce véritablement ?

Je vous en prie, un petit coup de main ne serait pas de trop !!:D