- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Deduction, Computation, Experiment: Exploring the Effectiveness of Proof
Giovanna Corsi & Rossella Lupacchini (eds.)
Berlin and Milano: Springer (2008)
Abstract
The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge.Author Profiles
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Proofs as Efficient Programs.Ugo Dal Lago & Simone Martini - 2008 - In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Berlin and Milano: Springer.
Toy Models in Physics and the Reasonable Effectiveness of Mathematics.Annalisa Marzuoli - 2008 - In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Berlin and Milano: Springer. pp. 49.
Collected Wisdom of the Early Modern Scholar: Essays in Honor of Mordechai Feingold.Anna Marie Roos & Gideon Manning (eds.) - 2022 - Springer.
Mapping scientific method: disciplinary narrations.Gita Chadha & Renny Thomas (eds.) - 2022 - New York, NY: Routledge.
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
Social and Conceptual Issues in Astrobiology.Carlos Mariscal & Kelly C. Smith (eds.) - 2020 - Oxford, UK: Oxford University Press.
Intersubjective plateaus in language and communication.Małgorzata Haładewicz-Grzelak & Marta Boguslawska-Tafelska (eds.) - 2022 - New York: Peter Lang.
Physical Perspectives on Computation, Computational Perspectives on Physics.Michael E. Cuffaro & Samuel C. Fletcher (eds.) - 2018 - Cambridge University Press.
Philosophical Foundations of Constitutional Law.David Dyzenhaus & Malcolm Thorburn (eds.) - 2016 - Oxford, United Kingdom: Oxford University Press UK.
Analytics
Added to PP
2011-05-14
Downloads
19 (#791,817)
6 months
6 (#701,126)
2011-05-14
Downloads
19 (#791,817)
6 months
6 (#701,126)
Historical graph of downloads
Author Profiles
Citations of this work
References found in this work
Geometry and generality in Frege's philosophy of arithmetic.Jamie Tappenden - 1995 - Synthese 102 (3):319 - 361.
The Definition of Random Sequences.A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (3):450-452.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-kkm7k uwo