CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishI 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 |
http://hdl.handle.net/11568/123377
Copyright © 2021