A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
Im Jahr 1922 begann Curry mit der Lektüre der Principia Mathematica und war fasziniert von den Komplikationen der Substitutionsregel. Als Ergebnis seiner Versuche, die Substitution zu analysieren, entwickelte Curry 1926 die Kombinatoren.
Diese Sammlung ist dem 80. Geburtstag von Jonathan Seldin gewidmet. Seldin ist der vorletzte Doktorand von Curry und der Hüter von Currys Paradigma.
Die Suche zu Beginn des 20. Jahrhunderts nach leistungsfähigen Systemen, die Berechnungen und Ableitungen (Funktionen und Logik) kombinieren und die Mathematik formalisieren können, führte zur Geburt des mächtigen λ-Kalküls von Church, der kombinatorischen Logik von Curry und der Kategorientheorie von Eilenberg und Mac Lane, die alle in dieser Sammlung gut vertreten sind.
Das Ringen um möglichst viel Internalisierung bei gleichzeitiger Wahrung der Konsistenz des Systems ist in der Entwicklung des λ-Kalküls und der kombinatorischen Logik deutlich zu erkennen und wird auch in den Artikeln dieses Bandes spürbar. Ebenso deutlich ist das Ringen um elegante Theorien, die die Zahl der Grundbegriffe minimieren und gleichzeitig so nah wie möglich an der Struktur der Sprache bleiben.
Die Verallgemeinerung von Konzepten, die Verbindung von Bereichen, die weit voneinander entfernt zu sein scheinen, und die Anwendung nützlicher Techniken von einem Bereich auf den anderen sind in diesem Band ebenfalls gut vertreten. So werden beispielsweise Begriffe wie Kohärenz, Konfluenz und Kommutierungsdiagramme zwischen λ-Kalkül, Umschreibesystemen und Kategorientheorie erweitert, und es werden Einbettungsbeziehungen angegeben, die ein Zusammentreffen vieler Disziplinen von der Logik über die Mathematik bis zur Informatik ermöglichen.
| ISBN: | 9781848904361 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
