Informal proofs and computability / San Mauro, Luca Francesco; relatore: Lolli, Gabriele; relatore esterno: Sorbi, Andrea; Scuola Normale Superiore, ciclo 27, 26-Feb-2016.

Informal proofs and computability

San Mauro, Luca Francesco
2016

26-feb-2016
MAT/01 LOGICA MATEMATICA
Discipline filosofiche
27
Philosophy. History. XX century; computability theory; dialectical systems; proof by Church’s Thesis; quasi-dialectical systems; recursion theory
Scuola Normale Superiore
Lolli, Gabriele
Sorbi, Andrea
File in questo prodotto:
File Dimensione Formato  
sanmauro-tesi.pdf

accesso aperto

Descrizione: doctoral thesis full text
Tipologia: Tesi PhD
Licenza: Solo Lettura
Dimensione 1.22 MB
Formato Adobe PDF
1.22 MB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11384/86151
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact