Concetti di decidibilità, calcolabilità, ricorsività

L'infinito calcolabile

In matematica calcolabilità è sinonimo di decidibilità e di ricorsività. Attraverso degli esempi capiremo il concetto di calcolabilità applicati a eventi che di propria natura dono indefiniti nel tempo o nello spazio. Verrà presentata la macchina di Turing. Il Teorema di Turing asserisce l'esistenza di problemi non decidibili, per i quali cioè non esiste alcun algoritmo in grado di dare una risposta in tempo finito su tutte le istanze del problema.

Materia: Matematica.
Destinatari: Secondo biennio e V anno di scuola secondaria di II grado.
Professoressa: Anna Brancaccio.