Questo articolo si propone di descrivere alcune delle direzioni della ricerca in teoria della computabilità in Italia, che riguardano principalmente riducibilità e gradi, strutture presentate effettivamente, computabilità nel limite. Pur senza trascurare lavori e contributi degli anni Ottanta e Novanta, ci concentreremo soprattutto sui risultati conseguiti negli ultimi anni.
Le direzioni della logica in Italia: la teoria (classica) della computabilità
Patrizio Cintioli;
2018-01-01
Abstract
Questo articolo si propone di descrivere alcune delle direzioni della ricerca in teoria della computabilità in Italia, che riguardano principalmente riducibilità e gradi, strutture presentate effettivamente, computabilità nel limite. Pur senza trascurare lavori e contributi degli anni Ottanta e Novanta, ci concentreremo soprattutto sui risultati conseguiti negli ultimi anni.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
abstract.pdf
accesso aperto
Tipologia:
Altro materiale allegato
Licenza:
DRM non definito
Dimensione
1.54 MB
Formato
Adobe PDF
|
1.54 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
