Titre original :
A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
Contenu du livre :
En 1922, Curry a commencé à lire Principia Mathematica et a été intrigué par les complications de la règle de substitution.
C'est en essayant d'analyser la substitution que Curry a conçu les combinateurs en 1926. Cette collection est dédiée au 80e anniversaire de Jonathan Seldin.
Seldin est l'avant-dernier doctorant de Curry et le gardien du paradigme de Curry. La recherche, au début du 20e siècle, de systèmes puissants combinant calculs et déductions (fonctions et logique) et capables de formaliser les mathématiques a conduit à la naissance du puissant λ-calcul de Church, de la logique combinatoire de Curry et de la théorie des catégories d'Eilenberg et Mac Lane, qui sont tous bien représentés dans ce recueil. La lutte pour internaliser autant que possible tout en maintenant la cohérence du système est évidente dans l'évolution du λ-calcul et de la logique combinatoire et peut être ressentie à nouveau dans les articles de ce volume.
De même, la lutte pour des théories élégantes qui minimisent le nombre de concepts de base tout en restant aussi proches que possible de la structure de la langue est évidente. La généralisation des concepts, la connexion de domaines qui peuvent sembler éloignés et l'application de techniques utiles d'un domaine à l'autre sont également bien représentées dans ce volume où, par exemple, des notions telles que la cohérence, la confluence, les diagrammes de commutation, sont étendues entre le λ-calcul, les systèmes de réécriture et la théorie des catégories, et où les relations d'intégration sont données pour permettre à de nombreuses disciplines, de la logique aux mathématiques en passant par l'informatique, de se rencontrer.
Autres informations sur le livre :
| ISBN : | 9781848904361 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
