E-Science and the data deluge

Philosophical Psychology

Volumn 27, Issue 1, 2014, Pages 126-140

  Casacuberta, David ^a   Vallverdú, Jordi ^a  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

Author keywords

Big Data; Computational Physics; Data Deluge; E Science; Extended Cognition; Proof

Indexed keywords

EID: 84890792410     PISSN: 09515089     EISSN: 1465394X     Source Type: Journal    
DOI: 10.1080/09515089.2013.827961     Document Type: Article

References (34)

1. Appel, K., Haken, W., & Koch, J. (1977). Every planar map is four colorable. Illinois Journal of Mathematics, 21, 429-567.
2. Aron, J. (2010, December 3). Mathematical immortality? Name that theorem. New Scientist. Retrieved from http://www.newscientist.com/article/dn19809-mathematical-immortality-give-a-theorem-your-name.html.
3. Barwise, J., & Etchemendy, L. (1994). Hyperproof. Stanford, CA: CSLI Publications.
4. Brock, I. C., & Schörner-Sadenius, T. (Eds.). (2011). Physics at the terascale. Weinheim: Wiley-VCH.
5. Clark, A., & Chalmers, D. (1998). The extended mind. Analysis, 58, 7-19.
6. Clark, A. (2001). Reasons, robots and the extended mind. Mind and Language, 16, 121-145.
7. Clark, A. (2003). Natural-Born cyborgs: Why minds and technologies are made to merge. Oxford: Oxford University Press.
8. Datta, A., Mukhopadhyaya, B., & Raychaudhuri, A. (Eds.). (2011). Physics at the large hadron collider. New York: Springer.
9. Devlin, K. (1997). The logical structure of computer-aided mathematical reasoning. The American Mathematical Monthly, 104, 632-646.
10. Devlin, K. (2001). Mathematics: The new golden age. New York: Columbia University Press.
11. Kirsh, D., & Maglio, P. (1994). On distinguishing epistemic from pragmatic actions. Cognitive Science, 18, 513-549.
12. Kitcher, P. (1983). The nature of mathematical knowledge. New York: Oxford University Press.
13. Kripke, S. (1972). Naming and necessity. In D.Davidson & G.Harman (Eds.), Semantics of natural language (pp. 253-355). Dordrecht: Reidel.
14. McEvoy, M. (2008). The epistemological status of computer-assisted proofs. Philosophia Mathematica, 16, 374-387.
15. Menary, R. (2010a). Dimensions of mind. Phenomenology and the Cognitive Sciences, 9, 561-578.
16. Menary, R. (2010b). The holy grail of cognitivism: A reply to Adams and Aizawa. Phenomenology and the Cognitive Sciences, 9, 605-618.
17. Menary, R., & Kirchhoff, M. (forthcoming). Cognitive transformations and extended expertise. Educational Philosophy and Theory. 10.1080/00131857.2013.779209.
18. Millikan, R. G. (1984). Language, thought, and other biological categories. Cambridge, MA: MIT Press.
19. Millikan, R. G. (1993). In defense of proper functions. In her White queen psychology and other essays for Alice (pp. 13-29). Cambridge, MA: MIT Press.
20. Resnik, M. (1997). Mathematics as a science of patterns. New York: Oxford University Press.
21. Rowlands, M. (2010). The new science of the mind. Cambridge, MA: MIT Press.
22. Rufener, C. M. (2011). The four-color theorem solved, again: Extending the extended mind to the philosophy of mathematics. Res Cogitans, 2, 215-221.
23. Saxe, G. B. (1981). Body parts as numerals: A developmental analysis of numeration among the Oksapmin in Papua New Guinea. Child Development, 52, 306-316.
24. Sutton, J. (2006). Exograms and interdisciplinarity: History, the extended mind and the civilizing process. In R.Menary (Ed.), The extended mind (pp. 189-225). Aldershot, UK: Ashgate.
25. Szpiro, G. G. (2003). Kepler's conjecture: How some of the greatest minds in history helped solve one of the oldest math problems in the world. New York: Wiley.
26. Teller, P. (1980). Computer proof. The Journal of Philosophy, 77, 797-803.
27. Tymoczko, T. (1979). The four-color problem and its philosophical significance. The Journal of Philosophy, 76, 57-83.
28. Tymoczko, T. (1981). Computer use to computer proof: A rational reconstruction. The Two-Year College Mathematics Journal, 12, 120-125.
29. Vallverdú, J. (2009). Computational epistemology and e-science: A new way of thinking. Minds and Machines, 19, 557-567.
30. Vallverdú, J. (2010). Seeing for knowing: The Thomas effect and computational science. In J.Vallverdú (Ed.), Thinking machines and the philosophy of computer science: Concepts and principles (pp. 280-293). Hershey, PA: IGI Global Group.
31. Vallverdú, J. (2011a). Patenting logic, mathematics or logarithms? The case of computer-assisted proofs. Recent Patents on Computer Science, 4(1), 66-70.
32. Vallverdú, J. (2011b). An epistemological analysis of QSPR/QSAR models. In E. A.Castro & A. K.Haghi (Eds.), Advanced methods and applications in chemoinformatics: Research progress and new applications (pp. 318-332). Hershey, PA: IGI Global Group.
33. Vallverdú, J. (forthcoming). What are simulations? An epistemological approach. Foundations of Science.
34. Wilson, R. (2003). Four colors suffice: How the map problem was solved. Princeton, NJ: Princeton University Press.