Counting as integration in feasible analysis

&
Mathematical Logic Quarterly 52 (3):315-320 (2006)
  Copy   BIBTEX

Abstract

Suppose that it is possible to integrate real functions over a weak base theory related to polynomial time computability. Does it follow that we can count? The answer seems to be: obviously yes! We try to convince the reader that the severe restrictions on induction in feasible theories preclude a straightforward answer. Nevertheless, a more sophisticated reflection does indeed show that the answer is affirmative

Categories

Keywords

Reprint years

DOI

10.1002/malq.200510035

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bounded functional interpretation and feasible analysis.Fernando Ferreira & Paulo Oliva - 2007 - Annals of Pure and Applied Logic 145 (2):115-129.
The baire category theorem over a feasible base.Ant6nio M. Fernandes - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--164.
Interdisciplinary integration in biology? An overview.Wim J. Steen - 1990 - Acta Biotheoretica 38 (1).
Analysis, modeling, emergence & integration in complex systems: A modeling and integration framework & system biology.Thomas J. Wheeler - 2007 - Complexity 13 (1):60-75.
Baire category and nowhere differentiability for feasible functions.J. M. Breutzmann, J. H. Lutz & D. W. Juedes - 2004 - Mathematical Logic Quarterly 50 (4):460.
Could experience disconfirm the propositions of arithmetic?Jessica M. Wilson - 2000 - Canadian Journal of Philosophy 30 (1):55--84.
Counting Things.Stanley Eveling - 2013 - Philosophical Investigations 36 (3):210-230.
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics ; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Demands of Justice, Feasible Alternatives, and the Need for Causal Analysis.David Wiens - 2013 - Ethical Theory and Moral Practice 16 (2):325-338.
I-counting is counting.Steven Savitt - 1972 - Philosophy of Science 39 (1):72-73.
Climate Models, Calibration, and Confirmation.Katie Steele & Charlotte Werndl - 2013 - British Journal for the Philosophy of Science 64 (3):609-635.
Complexity of the two-variable fragment with counting quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.

Analytics

Added to PP
2013-12-01

Downloads
16 (#886,588)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A feasible theory for analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.

Add more references