Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Contemporary Logic and Computing
Der vorliegende Band geht auf einen Buchvorschlag zurück, der vor etwa zwei Jahren bei College Publications in London eingereicht wurde. Der Hauptgedanke war, das Zusammenspiel zwischen der zeitgenössischen Arbeit in der Logik und der Mainstream-Mathematik zu illustrieren.
Die Aufteilung des Bandes in zwei Abschnitte - Themen der „Logik“ und Themen der „Informatik“ - ist mehr oder weniger konventionell. Einige Beiträge konzentrieren sich auf historische und technische Details, um den Einfluss der Arbeit einiger herausragender Mathematiker und Philosophen auf die zeitgenössische Forschung in Logik und Informatik zu verdeutlichen. Einige andere Beiträge, ebenfalls mit historischem Bezug, sollten punktuelle Forschungsmethoden und spezifische Konzepte oder Themen aufzeigen, wie z. B. Entscheidbarkeit, Berechenbarkeit, Zufälligkeit und rechnerische oder deskriptive Komplexität. Im Allgemeinen waren die Beiträge als spezifische Ergebnisübersichten gedacht.
Andere Bände - die später in derselben Reihe erscheinen werden - werden hoffentlich Aspekte der zeitgenössischen Logiklandschaft beschreiben, die hier nicht dargestellt wurden.
Das Buch richtet sich an Studenten der mathematischen Logik, der Grundlagen der Mathematik und der Informatik sowie an Philosophen, Mathematiker und möglicherweise auch an andere Wissenschaftler, die sich für die jüngste Forschung im Bereich Logik und Informatik interessieren.
| ISBN: | 9781848903401 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
