204SM - LOGICA 2018, Sezione: Gödelizzazione e diagonalizzazione (26 marzo 2019, h.11-13 aula 5A edificio H2bis) | Moodle@Units

Home Corsi Supporto

Schema della sezione

Gödelizzazione e diagonalizzazione
- Seleziona attività Dispensetta su di un insieme ricorsivamente enumerabile che non è decidibile
  
  Dispensetta su di un insieme ricorsivamente enumerabile che non è decidibile File PDF
- Seleziona attività Dall'abbinamento alla codifica di sequenze
  
  Dall'abbinamento alla codifica di sequenze File PDF
  
  Qui sopra si trova un esempio di Gödelizzazione, applicato alle equazioni diofantee; però in Dropbox trovate un'estesa trattazione su 'lucidi' del tema "Dall'abbinamento alla codifica di sequenze".
- Seleziona attività Una conseguenza sorprendente del teorema DPR come ridimostrato da Matiyasevich nel 1974
  
  Una conseguenza sorprendente del teorema DPR come ridimostrato da Matiyasevich nel 1974 File PDF