- 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
Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof
Abstract
International audience.Other Versions
No versions found
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
- Only published works are available at libraries.
My notes
Similar books and articles
Philosophical Assumptions Behind the Rejection of Computer-Based Proofs.Katia Parshina - 2023 - Kriterion – Journal of Philosophy 37 (2-4):105-122.
An epistemological study of recursion and mathematical induction in mathematics and computer science.Nicolás León - unknown
Evolution of mathematical proof.Marian Mrozek & Jacek Urbaniec - 1997 - Foundations of Science 2 (1):77-85.
Students' language in computer-assisted tutoring of mathematical proofs.Magdalena A. Wolska - 2015 - Saarbrücken: Universaar.
Computers as a Source of A Posteriori Knowledge in Mathematics.Mikkel Willum Johansen & Morten Misfeldt - 2016 - International Studies in the Philosophy of Science 30 (2):111-127.
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
Analytics
Added to PP
2016-11-18
Downloads
33 (#719,344)
6 months
3 (#1,061,821)
2016-11-18
Downloads
33 (#719,344)
6 months
3 (#1,061,821)
Historical graph of downloads
Citations of this work
Unsharp Humean Chances in Statistical Physics: A Reply to Beisbart.Luke Glynn, Radin Dardashti, Karim P. Y. Thebault & Mathias Frisch - 2014 - In M. C. Galavotti (ed.), New Directions in the Philosophy of Science. Cham: Springer. pp. 531-542.
On the Logical Positivists' Philosophy of Psychology: Laying a Legend to Rest.Sean Crawford - 2014 - In Thomas Uebel (ed.), New Directions in the Philosophy of Science. Cham: Springer. pp. 711-726.
Pluralists about Pluralism? Versions of Explanatory Pluralism in Psychiatry.Jeroen Van Bouwel - 2014 - In Thomas Uebel (ed.), New Directions in the Philosophy of Science. Cham: Springer. pp. 105-119.
References found in this work
On Tymoczko's argument for mathematical empiricism.Margarita R. Levin - 1981 - Philosophical Studies 39 (1):79 - 86.
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-795c5dcc44-jwdbl dc2