Pi on Earth, or Mathematics in the Real World.
We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of...
| Publicado en: | Erkenntnis Vol. 68; no. 3; pp. 421 - 436 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
May2008
|
| 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=35076123&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 35076123 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 01650106 5KZ jtl: Erkenntnis issn: 01650106 maglogo: N pubinfo: dt: May2008 vid: 68 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 35076123 10.1007/s10670-008-9102-5 ppf: 421 ppct: 15 formats: fmt: @attributes: type: P size: 247KB tig: atl: Pi on Earth, or Mathematics in the Real World. aug: au: Van Kerkhove, Bart Van Bendegem, Jean Paul affil: Centre for Logic and Philosophy of Science , Vrije Universiteit Brussel , Vakgroep Wijsbegeerte, Pleinlaan 2 1050 Brussel Belgium su: Mathematics Theory of knowledge Logic Research Possibility sug: subj: Mathematics Theory of knowledge Logic Research Possibility ab: We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative one of efficiency, i.e. to minimize one’s means/ends ratio. Our story will lead to the consideration of some limit cases, opening up the possibility of proofs of infinite length being surveyed in a finite time. By means of example, this should show that mathematical practice in vital aspects depends upon what the actual world is like. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Erkenntnis is a copyright of Springer, 2008. All Rights Reserved. item: Erkenntnis holder: Springer Nature dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|