Abstract. In this paper I try to discuss the question of the truth-value of Gödel-type undecidable sentences in a framework which keeps into due account the idea that mathematical inquiry develops in a three-level framework: informal (or pre-formal) mathematics, (informal) theories, and formal theories. Moreover, it is to be stressed that no phase deletes the other ones; all of them, so to speak, live together.
Some Remarks on True Undecidable Sentences
Enrico Moriconi
2018-01-01
Abstract
Abstract. In this paper I try to discuss the question of the truth-value of Gödel-type undecidable sentences in a framework which keeps into due account the idea that mathematical inquiry develops in a three-level framework: informal (or pre-formal) mathematics, (informal) theories, and formal theories. Moreover, it is to be stressed that no phase deletes the other ones; all of them, so to speak, live together.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
SaggioMoriconi.pdf
solo utenti autorizzati
Descrizione: Testo completo
Tipologia:
Versione finale editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
196.19 kB
Formato
Adobe PDF
|
196.19 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
