Matematica e informatica: una collaborazione logica
Lo scopo generale di questo campo di ricerca è capire quanto sia «difficile» trovare una soluzione algoritmica a un problema computazionale. Tuttavia, per rispondere a questa domanda, si deve prima stabilire quale sia una corretta misurazione di tale «difficoltà». Ad esempio, è legata al tempo necessario per un personal computer medio di risolvere il problema o alla quantità di spazio di memoria richiesta? Oppure è una combinazione di entrambi? Questo metodo generale di descrizione della difficoltà di un problema attraverso la logica è chiamato complessità descrittiva. «Nel progetto DFLOW, abbiamo studiato un certo numero di specifici sistemi logici, noti come logiche su parole finite e infinite», spiega il dott. Sam van Gool, ricercatore borsista del progetto. Il termine «parole», sottolinea, si riferisce ai dati con una struttura lineare e unidimensionale, che possono essere letti da sinistra a destra, ad esempio rispetto ai dati strutturati ad albero. Spiega che lo studio di questi sistemi logici non è una novità, «la principale novità di DFLOW è stata quella di combinare due teorie matematiche diverse e precedentemente distinte nell’affrontare le principali sfide in questo campo di ricerca». Lo scopo di DFLOW era di applicare questa recente idea di combinare tali teorie, la teoria del semigruppo e la dualità di Stone, in una specifica classe di sistemi logici. Collaborazioni esperte Avendo studiato in precedenza la teoria matematica della dualità di Stone, il dott. Van Gool ha voluto utilizzare questo progetto per espandere le sue conoscenze sulla teoria dei semigruppi e il suo uso per studiare le logiche. Ciò è stato realizzato attraverso collaborazioni di ricerca con il Prof. Benjamin Steinberg e il Prof. Yde Venema, rispettivamente presso il City College di New York e l’Università di Amsterdam. Il progetto ha anche contribuito a catalizzare altre collaborazioni di ricerca pertinenti. Nello specifico, spiega il borsista, «il progetto ha aiutato a compiere progressi sul lavoro congiunto con il Prof. Silvio Ghilardi (Università di Milano) sui sistemi logici e su un altro argomento matematico chiamato teoria dei modelli». Ne consegue che il risultato principale del progetto triennale comprende 9 articoli di ricerca del dott. Van Gool. Quattro di questi sono stati scritti insieme al Prof. Steinberg. Un altro articolo di ricerca in collaborazione con il Prof. Venema e altri due con il Prof. Steinberg sono ancora in preparazione. Data la natura trasversale del progetto, è stata prestata particolare attenzione alla divulgazione della ricerca in contesti sia matematici che informatici. Il borsista del progetto rimarca che la più prestigiosa pubblicazione relativa all’aspetto matematico è quella con il co-autore Prof. Steinberg e pubblicata su Advances in Mathematics. Per quanto concerne l’aspetto informatico, la più prestigiosa è per lui la (pubblicazione) Symposium on Logic in Computer Science (LICS 2016) pubblicazione con il Prof. Ghilardi. Unire questi due campi Quando gli è stato chiesto quale sia il più grande successo del progetto, il dott. Van Gool ha sottolineato: «la creazione di una nuova collaborazione tra esperti nel campo della teoria del semigruppo e della dualità di Stone nella logica». Si tratta di un passo importante in quanto prima c’era un’interazione limitata tra i due campi. Il dott. van Gool si baserà sui risultati del progetto. Prevede di estendere alcuni metodi a strutture di dati più complesse, inclusi gli alberi. Un’altra direzione di ricerca pianificata riguarda sviluppi molto recenti nei sistemi logici correlati a quelli considerati in DFLOW.
Parole chiave
DFLOW, sistemi logici, informatica, matematica, teorie matematiche, teoria dei semigruppi, dualità di Stone, teoria della complessità
