Lo scopo di questa tesi è dare una breve introduzione storica al problema della formalizzazione e della coerenza dell'Aritmetica di Peano (PA), richiamare alcuni risultati di Logica del Primo Ordine rilevanti alla trattazione (derivazioni, ordinali, ...), fornire i passaggi della dimostrazione di coerenza di PA data da Schütte e presentare alcuni esempi di enunciati non dimostrabili all'interno della stessa: per fare ciò verranno introdotti i concetti di sequenza di Goodstein ed Idra di Kirby-Paris.
UNA DIMOSTRAZIONE DELLA COERENZA DELL'ARITMETICA DI PEANO
VISCARIELLO, MATTIA
2019/2020
Abstract
Lo scopo di questa tesi è dare una breve introduzione storica al problema della formalizzazione e della coerenza dell'Aritmetica di Peano (PA), richiamare alcuni risultati di Logica del Primo Ordine rilevanti alla trattazione (derivazioni, ordinali, ...), fornire i passaggi della dimostrazione di coerenza di PA data da Schütte e presentare alcuni esempi di enunciati non dimostrabili all'interno della stessa: per fare ciò verranno introdotti i concetti di sequenza di Goodstein ed Idra di Kirby-Paris.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
858796_tesi.pdf
non disponibili
Tipologia:
Altro materiale allegato
Dimensione
273.39 kB
Formato
Adobe PDF
|
273.39 kB | Adobe PDF |
I documenti in UNITESI 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/20.500.14240/28660