I survey some endeavors which have been made to attain a sort of direct reduction of the usual notion of countable infinity to some reasonable notion of finiteness, in terms of nonstandard arithmetic, feasibility, pseudo-models of derivations, Ehrenfeucht star-models, etc. I maintain that although many interesting results have been obtained in these attempts, they ultimately show that (at least by the means considered here) no satisfactory reduction is possible.
Autori interni: | |
Autori: | Bellotti, Luca |
Titolo: | Some attempts at a direct reduction of the infinite to the (large) finite |
Anno del prodotto: | 2008 |
Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
reduct_lea.pdf | Versione finale editoriale | Tutti i diritti riservati (All rights reserved) | Open AccessVisualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.