- Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation, details
|
|
Indispensability and Practice.Penelope Maddy - 1992 - Journal of Philosophy 89 (6):275.details
|
|
Mathematics and Scientific Representation.Christopher Pincock - 2011 - Oxford and New York: Oxford University Press USA.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
Computable Functionals.A. Grzegorczyk - 1959 - Journal of Symbolic Logic 24 (1):50-51.details
|
|
Computability in Quantum Mechanics.Wayne C. Myrvold - 1995 - In Werner DePauli-Schimanovich, Eckehart Köhler & Friedrich Stadler (eds.), The Foundational Debate: Complexity and Constructivity in Mathematics and Physics. Dordrecht, Boston and London: Kluwer Academic Publishers. pp. 33-46.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Computability and analysis: the legacy of Alan Turing.Jeremy Avigad & Vasco Brattka - unknowndetails
|
|
Constructivism, Computability, and Physical Theories.Wayne C. Myrvold - 1994 - Dissertation, Boston Universitydetails
|
|
Relations Between Experimental Physics and Mathematical Physics.Henri Poincaré - 1902 - The Monist 12 (4):516-543.details
|
|
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.details
|
|
Approximation and Idealization: Why the Difference Matters.John D. Norton - 2012 - Philosophy of Science 79 (2):207-232.details
|
|
How to avoid inconsistent idealizations.Christopher Pincock - 2014 - Synthese 191 (13):2957-2972.details
|
|
Computable Analysis.Oliver Aberth - 1984 - Journal of Symbolic Logic 49 (3):988-989.details
|
|
How to Make a Meaningful Comparison of Models: The Church–Turing Thesis Over the Reals.Maël Pégny - 2016 - Minds and Machines 26 (4):359-388.details
|
|