Reverse formalism 16.
In his remarkable paper Formalism 64, Robinson defends his eponymous position concerning the foundations of mathematics, as follows: Any mention of infinite totalities is literally meaningless. We should act as if infinite totalities really existed. Being the originator of Nonstandard Analysis, it s...
| Publicado en: | Synthese Vol. 197; no. 2; pp. 497 - 545 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Feb2020
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=142061995&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 142061995 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Feb2020 vid: 197 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 142061995 10.1007/s11229-017-1322-2 ppf: 497 ppct: 48 formats: fmt: – @attributes: type: T – @attributes: type: P size: 817KB tig: atl: Reverse formalism 16. aug: au: Sanders, Sam affil: Munich Center for Mathematical Philosophy, LMU Munich, Munich, Germany Department of Mathematics, Ghent University, Ghent, Belgium su: Nonstandard mathematical analysis Reverse mathematics sug: subj: Nonstandard mathematical analysis Reverse mathematics keyword: Abraham Robinson Computational content Formalism Nonstandard analysis ab: In his remarkable paper Formalism 64, Robinson defends his eponymous position concerning the foundations of mathematics, as follows: Any mention of infinite totalities is literally meaningless. We should act as if infinite totalities really existed. Being the originator of Nonstandard Analysis, it stands to reason that Robinson would have often been faced with the opposing position that 'some infinite totalities are more meaningful than others', the textbook example being that of infinitesimals (versus less controversial infinite totalities). For instance, Bishop and Connes have made such claims regarding infinitesimals, and Nonstandard Analysis in general, going as far as calling the latter respectively a debasement of meaning and virtual, while accepting as meaningful other infinite totalities and the associated mathematical framework. We shall study the critique of Nonstandard Analysis by Bishop and Connes, and observe that these authors equate 'meaning' and 'computational content', though their interpretations of said content vary. As we will see, Bishop and Connes claim that the presence of ideal objects (in particular infinitesimals) in Nonstandard Analysis yields the absence of meaning (i.e. computational content). We will debunk the Bishop–Connes critique by establishing the contrary, namely that the presence of ideal objects (in particular infinitesimals) in Nonstandard Analysis yields the ubiquitous presence of computational content. In particular, infinitesimals provide an elegant shorthand for expressing computational content. To this end, we introduce a direct translation between a large class of theorems of Nonstandard Analysis and theorems rich in computational content (not involving Nonstandard Analysis), similar to the 'reversals' from the foundational program Reverse Mathematics. The latter also plays an important role in gauging the scope of this translation. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2020. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2020 holdings: @attributes: islocal: N |
|---|