
A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso
Dieser Band ist dem Gedenken an Paulo A.
S. Veloso (1944-2020) gewidmet, einem bedeutenden brasilianischen Logiker.
Velosos wissenschaftliche Beiträge sind in den wichtigsten Bereichen der Logik verbreitet: Computerwissenschaft, Mathematik und Philosophie. Seine wichtigsten Beiträge liegen in den Bereichen Automatentheorie, algebraische Logik, formale Spezifikationen, modale Logik und diagrammatisches Denken. Neben seiner intellektuellen Tiefe und seinen innovativen Ideen war Veloso für seine Freundlichkeit und Großzügigkeit bekannt, sowohl im akademischen als auch im persönlichen Bereich, was durch die große Anzahl von Mitarbeitern und Freunden, die er im Laufe seiner Karriere pflegte, belegt wird.
Es war höchste Zeit, dass einige dieser Mitarbeiter und Freunde zusammenarbeiten. Das Ergebnis ist dieses Buch, das brillante Beiträge zu verschiedenen Themen enthält, die in direktem Zusammenhang mit Paulo Velosos herausragendem Werk stehen.