Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Gasparin, Veronica (2018) MODIFIED REALIZABILITY. [Laurea triennale]

Per questo documento il full-text online non disponibile.

Abstract

La realizzabilità fu inventata nel 1945 da S.C. Kleene con lo scopo di rendere esplicito il contenuto costruttivo delle dimostrazioni in termini di computazioni. La realizzabilità e le sue molte varianti sono divenute uno strumento molto efficace nello studio della matematica di sistemi costruttivi. In questo lavoro vedremo una variante della realizzabilità di Kleene: la Modified realizability, introdotta nel 1959 da G. Kreisel. Uno degli scopi principali di questa realizzabilità è quello di mostrare l’indipendenza del principio di Markov dall’aritmetica di Heyting. Dopo aver visto una presentazione di questo risultato di Kreisel per l’aritmetica intuizionista, verificheremo la non validità del prinicipio di Marcov nella Modified realizability

Item Type:Laurea triennale
Corsi di Laurea Triennale:pre 2012- Facoltà di Scienze MM. FF. NN. > Matematica
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:61234
Relatore:Maietti, Maria Emilia
Data della tesi:12 October 2018
Biblioteca:Polo di Scienze > Biblioteca di Matematica

Solo per lo Staff dell Archivio: Modifica questo record