 Intuitionism Disproved?Timothy Williamson  1982  Analysis 42 (4):2037.details


The fourcolor problem and its philosophical significance.Thomas Tymoczko  1979  Journal of Philosophy 76 (2):5783.details


On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing  1936  Proceedings of the London Mathematical Society 42 (1):230265.details


Computation, Implementation, Cognition.Oron Shagrir  2012  Minds and Machines 22 (2):137148.details


Artisans and Mathematicians in Medieval IslamThe Topkapi Scroll: Geometry and Ornament in Islamic Architecture.George Saliba, Gülru Necipoğlu & Gulru Necipoglu  1999  Journal of the American Oriental Society 119 (4):637.details


The epistemic superiority of experiment to simulation.Sherrilyn Roush  2018  Synthese 195 (11):48834906.details


The epistemic superiority of experiment to simulation.Sherrilyn Roush  2018  Synthese 195 (11):48834906.details


Does matter really matter? Computer simulations, experiments, and materiality.Wendy S. Parker  2009  Synthese 169 (3):483496.details


Number Words and Number Symbols: A Cultural History of Numbers.Karl Menninger & Paul Broneer  1971  Philosophy East and West 21 (1):9798.details


‘Mathematical Platonism’ Versus Gathering the Dead: What Socrates teaches Glaucon &dagger.Colin McLarty  2005  Philosophia Mathematica 13 (2):115134.details


A notion of mechanistic theory.G. Kreisel  1974  Synthese 29 (14):11  26.details


Extending Ourselves: Computational Science, Empiricism, and Scientific Method.Paul Humphreys  2004  New York, US: Oxford University Press.details


What is technological science?Sven Ove Hansson  2007  Studies in History and Philosophy of Science Part A 38 (3):523527.details


The Uses and Misuses of Philosophical Scepticism.Sven Ove Hansson  2017  Theoria 83 (3):169174.details


Antirealism and universal knowability.Michael Hand  2010  Synthese 173 (1):25  39.details


Quantum hypercomputation—hype or computation?Amit Hagar & Alex Korolev  2007  Philosophy of Science 74 (3):347363.details


The fourcolor theorem and mathematical proof.Michael Detlefsen & Mark Luker  1980  Journal of Philosophy 77 (12):803820.details


Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno  2003  British Journal for the Philosophy of Science 54 (2):181223.details


An Unsolvable Problem of Elementary Number Theory.Alonzo Church  1936  Journal of Symbolic Logic 1 (2):7374.details


SAD computers and two versions of the Church–Turing thesis.Tim Button  2009  British Journal for the Philosophy of Science 60 (4):765792.details


Challenging epistemology: Interactive proofs and zero knowledge.Justin Bledin  2008  Journal of Applied Logic 6 (4):490501.details


Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu  2016  Review of Symbolic Logic 9 (2):266298.details


Physical Computation: A Mechanistic Account.Gualtiero Piccinini  2015  Oxford, GB: Oxford University Press UK.details


Philosophy of Action: An Anthology.Jonathan Dancy & Constantine Sandis (eds.)  2015  Malden, MA: WileyBlackwell.details


The Philosophy of Leibniz: Metaphysics and Language.Benson Mates  1986  New York, US: OUP Usa.details


Computer Simulations in Science.Eric Winsberg  forthcoming  Stanford Encyclopedia of Philosophy.details


On Explaining Nondynamically the Quantum Correlations Via Quantum Information Theory: What It Takes.Laura Felline & Mauro Dorato  2018  In Technology and Mathematics. Springer Verlag.details


The Rise and Fall of the AntiMathematical Movement.Sven Hansson  2018  In Technology and Mathematics. Springer Verlag.details


Mathematics and Technology Before the Modern Era.Sven Hansson  2018  In Technology and Mathematics. Springer Verlag.details


Abu alWafa’ Latinus? A Study of Method.Dominique Raynaud  2012  Historia Mathematica 39:3483.details


Log or linear? Distinct intuitions of the number scale in Western and Amazonian indigene cultures.Pierre Pica, Stanislas Dehaene, Elizabeth Spelke & Véronique Izard  2008  Science 320 (5880):12171220.details


The unreasonable effectiveness of mathematics in the natural sciences.Eugene Wigner  1960  Communications in Pure and Applied Mathematics 13:114.details


Universality, Invariance, and the Foundations of Computational Complexity in the light of the Quantum Computer.Michael Cuffaro  2018  In Sven Hansson (ed.), Technology and Mathematics: Philosophical and Historical Investigations. Springer. pp. 253282.details


Frege, Leibniz and the Notion of an Ideal Language.EikeHenner W. Kluge  1980  Studia Leibnitiana 12:140.details


Exact and Approximate Arithmetic in an Amazonian Indigene Group.Pierre Pica, Cathy Lemer, Véronique Izard & Stanislas Dehaene  2004  Science 306 (5695):499503.details


Preview.Sven Hansson  2015  In Sven Ove Hansson (ed.), The Role of Technology in Science: Philosophical Perspectives. Springer Verlag.details


Science and Technology: What They Are and Why Their Relation Matters.Sven Hansson  2015  In Sven Ove Hansson (ed.), The Role of Technology in Science: Philosophical Perspectives. Springer Verlag.details


The Scientific Use of Technological Instruments.Mieke Boon  2015  In Sven Ove Hansson (ed.), The Role of Technology in Science: Philosophical Perspectives. Springer Verlag.details


The philosophy of Leibniz. Metaphysics and Language.Benson Mates  1986  Revue Philosophique de la France Et de l'Etranger 181 (1):106107.details


The Philosophy of Leibniz: Metaphysics and Language.Benson Mates  1986  Studia Leibnitiana 19 (2):216218.details


Is Simulation an Epistemic Substitute for Experimentation?Isabelle Peschard  unknowndetails


The Epistemology of ComputerMediated Proofs.Naveen Govindarajulu & Selmer Bringsjord  2018  In Sven Hansson (ed.), Technology and Mathematics. Springer Verlag.details


Leibniz and the Calculus Ratiocinator.Wolfgang Lenzen  2018  In Sven Hansson (ed.), Technology and Mathematics. Springer Verlag.details


Reflections on the Empirical Applicability of Mathematics.Tor Sandqvist  2018  In Sven Hansson (ed.), Technology and Mathematics. Springer Verlag.details


Cryptology, Mathematics, and Technology.Sandy Zabell  2018  In Sven Hansson (ed.), Technology and Mathematics. Springer Verlag.details


Mathematical Models of Technological and Social Complexity.Ronald Kline  2018  In Sven Hansson (ed.), Technology and Mathematics. Springer Verlag.details


NonTuring Computers and NonTuring Computability.Mark Hogarth  1994  PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:126138.details


NonTuring Computers and NonTuring Computability.Mark Hogarth  1994  Psa 1994:126138.details


Artisans and Mathematicians in Medieval Islam. [REVIEW]George Saliba  1999  Journal of the American Oriental Society 199 (4):637645.details

