Ein Jahrhundert seit Principia's Substitution Haskell Curry verblüffte. Zu Ehren des 80. Geburtstages von Jonathan Seldin

Ein Jahrhundert seit Principia's Substitution Haskell Curry verblüffte. Zu Ehren des 80. Geburtstages von Jonathan Seldin (Fairouz Kamareddine)

Originaltitel:

A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848904361
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Ein Jahrhundert seit Principia's Substitution Haskell Curry verblüffte. Zu Ehren des 80...
Im Jahr 1922 begann Curry mit der Lektüre der...
Ein Jahrhundert seit Principia's Substitution Haskell Curry verblüffte. Zu Ehren des 80. Geburtstages von Jonathan Seldin - A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
Eine Einführung in die mathematische Analyse und die Grundlagen des Rechnens - A Primer of...
Dieses Buch ist ein anderer Ansatz für die...
Eine Einführung in die mathematische Analyse und die Grundlagen des Rechnens - A Primer of Mathematical Analysis and the Foundations of Computation

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)