Recherche:

le document n'est plus accessible... étrange :roll:

je ne sais pas si vous suivez l'actualité (et si vous savez ce qu'il faut chercher), mais il y a eu récemment de grosses avancées sur le "crackage" de RSA... qui pourrait faire penser que P = NP...

je suis dans celui qui était autrement sémantique & logique, avec des profs comme Patrick Couseau, Xavier Leroy, etc ;)

DEA de logique pure ou celui de sémantique & logique ?


effectivement, implitement si on considère que tout ce qui est fait de manière fonctionnelle découle du lambda-calcul... ;)

les preuves automatiques utilisent le lambda-calcul 8O ? comme tout en infos, il doit bien y avoir moyen de s'y reporter, mais des systèmes qui soient basés dessus :?

à ma connaissance, ils sont...

le lambda-calcul est la base de la théorie des langages informatiques... et le modèle fonctionnelle lui ressemble beaucoup ;)

comme tout modèle mathématique, on peut le retrouver à plein...