Indecidibilità algoritmica e auto-referenza

Data e ora inizio evento:

Ven, 31/03/2023 - 16:00

Aula:

Aula Mauro Picone

Sede:

Dipartimento di Matematica Guido Castelnuovo

Speaker:

Lorenzo Carlucci

Affiliazione:

Università Roma Sapienza

Allegati:

Slides (2.06 MB)

Data pubblicazione evento:

Mer, 09/04/2025 - 14:00