Publications
Export 150 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is D [Clear All Filters]
“Causal Pluralism And Scientific Knowledge: An Underexposed Problem”. Philosophica 77: 125–150.
. 2006. “Disentangling Causal Pluralism” . Worldviews, Science and Us. Studies of Analytical Metaphysics.: 207–223.
. 2010. “Explanatory Pluralism In The Medical Sciences: Theory And Practice”. Theoretical Medicine and Bioethics 31: 371–390.
. 2010. “Causal (Mis)Understanding And The Search For Scientific Explanations: A Case Study From The History Of Medicine.”. Studies in history and philosophy of biological and biomedical sciences 39: 14–24.
. 2008. “The Concept Of Disease And Our Responsibility For Children” . Diagnostic Dilemmas in Child and Adolescent Psychiatry: 35–55.
. 2014. “Applications Of The Adaptive Logic For Causal Discovery”. Logique et Analyse 47: 33–51.
. 2004. “Needham's Grand Question Revisited: On The Meaning And Justification Of Causal Claims In The History Of Chinese Science”. East Asian Science, Technology and Medicine 33: 13–32.
. 2011. “Tag Systems And Collatz-Like Functions”. Theoretical Computer Science 390: 92–101. http://dx.doi.org/1854/12954.
. 2008. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.
. 2012. Formalism. The Success(Es) Of A Failure. . College publications.
. In Press. Let's be logical “Generating, Solving And The Mathematics Of Homo Sapiens. Emil PostS Views On Computation” . A Computable Universe: Understanding and Exploring Nature as Computation: 45–62.
. 2013. “Study Of Fractals Derived From Ifs-Fractals By Metric Procedures”. Fractals. Complex Geometry, Patterns, and Scaling in Nature and Society 13: 237–244. http://www.worldscientific.com/doi/abs/10.1142/S0218348X05002878.
. 2005. “Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2012. “On The Complex Behavior Of Simple Tag Systems An Experimental Approach”. Theoretical Computer Science 412: 97–112.
. 2011. “Haskell Before Haskell: An Alternative Lesson In Practical Logics Of The Eniac”. Journal of Logic and Computation.
. In Press. “On The Boundaries Of Solvability And Unsolvability In Tag Systems. Theoretical And Experimental Results.”. In The complexity of simple programs, The complexity of simple programs, . Cork University Press.
. 2008. “The Proof Is In The Process: A Preamble For A Philosophy Of Computer-Assisted Mathematics” . New Directions in the Philosophy of Science 5: 15–33.
. 2014. “Solvability Of The Halting And Reachability Problem For Binary 2-Tag Systems”. Fundamenta Informaticae 99: 435–471.
. 2010. “Doing Mathematics On The Eniac. Von Neumann's And Lehmer's Different Visions”. In Mathematical Practice and Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics, Mathematical Practice and Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics, Logos Verlag Berlin.
. 2009. “Closing The Circle: An Analysis Of Emil Post's Early Work”. Bulletin of symbolic logic 12: 267–289.
. 2006. “Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” . Foundations of the Formal Sciences: 61–90.
. 2011.