A notion of mechanistic theory

Synthese 29 (1-4):11 - 26 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00484949

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of Arithmetic. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (3):304-306.
Review: G. Kreisel, On the Interpretation of Non-Finitist Proofs; G. Kreisel, Some Elementary Inequalities. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
Elements of mathemathical logic (Model theory), de G. Kreisel y JL Krivine.José Sanmartín Esplugues - 1971 - Teorema: International Journal of Philosophy 1 (1):151-152.
Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Review: G. Kreisel, R. O. Gandy, C. E. M. Yates, Some Reasons for Generalizing Recursion Theory. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
Kreisel G.. On the interpretation of non-finitist proofs. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
Review: G. Kreisel, On Weak Completeness of Intuitionistic Predicate Logic. [REVIEW]Joan Rand Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):119-120.
Review: Andrzej Mostowski, Imre Lakatos, Recent Results in Set Theory; G. Kreisel, A. Robinson, L. Kalmar, A. Mostowski, Discussion; Andrzej Mostowski, On Some New Metamathematical Results Concerning Set Theory. [REVIEW]T. Jech - 1972 - Journal of Symbolic Logic 37 (4):765-766.
Review: G. Kreisel, Mathematical Significance of Consistency Proofs. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):129-129.
Review: G. Kreisel, Foundations of Intuitionistic Logic. [REVIEW]Abraham Robinson - 1965 - Journal of Symbolic Logic 30 (2):243-244.

Analytics

Added to PP
2009-01-28

Downloads
2 (#1,819,493)

6 months
112 (#42,380)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computability and physical theories.Robert Geroch & James B. Hartle - 1986 - Foundations of Physics 16 (6):533-550.
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.

View all 23 citations / Add more citations

References found in this work

Solution of the identity problem for integral exponential functions.D. Richardson - 1969 - Mathematical Logic Quarterly 15 (20-22):333-340.
Zwei Unentscheidbare Probleme Der Analysis.Bruno Scarpellini - 1963 - Mathematical Logic Quarterly 9 (18-20):265-289.

Add more references