Logica matematica e sue applicazioni 2020

Titolo originale:

Mathematical Logic and Its Applications 2020

Contenuto del libro:

Il numero “Logica matematica e sue applicazioni 2020” contiene articoli relativi alle seguenti tre direzioni:

I. Teoria descrittiva degli insiemi (3 articoli). Vengono presentate soluzioni a problemi di vecchia data, tra cui quelli di A. Tarski e H. Friedman.

II. Algoritmi esatti di ottimizzazione combinatoria, in cui la complessità relativa ai dati di partenza è caratterizzata da un polinomio basso, o addirittura di primo grado (1 articolo).

III. Applicazioni della logica matematica e della teoria degli algoritmi (2 articoli). Il primo articolo tratta le congetture di Jacobiano e di M. Kontsevich e l'indecidibilità algoritmica; per questi scopi viene utilizzata un'analisi non standard. Il secondo articolo fornisce una descrizione quantitativa dell'equilibrio e delle risorse di adattamento di un essere umano.

Si invita a inviare contributi per il prossimo numero di “Mathematical Logic and Its Applications 2021”.