Pytanie jest bardziej pouczające niż odpowiedź. A Festschrift for Paolo A. S. Veloso

Oryginalny tytuł:

A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso

Zawartość książki:

Niniejszy tom poświęcony jest pamięci Paulo A.

S. Veloso (1944-2020), wybitnego brazylijskiego logika.

Wkład naukowy Veloso jest rozpowszechniany w najważniejszych obszarach związanych z logiką: informatyce, matematyce i filozofii. Jego główny wkład dotyczy teorii automatów, logiki algebraicznej, specyfikacji formalnych, logiki modalnej i rozumowania diagramatycznego. Oprócz głębi intelektualnej i innowacyjnych pomysłów, Veloso był znany ze swojej życzliwości i hojności, zarówno akademickiej, jak i osobistej, o czym świadczy duża liczba współpracowników i przyjaciół, których pielęgnował przez całą swoją karierę.

Nadszedł najwyższy czas, aby niektórzy z tych współpracowników i przyjaciół pracowali razem. Rezultatem jest ta książka, która zawiera błyskotliwy wkład w różne tematy bezpośrednio związane z wybitną pracą Paulo Veloso.