Publications
Export 150 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is D [Clear All Filters]
“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. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, . Springer Verlag.
. 2008. “Mathematics Through Man-Computer Interaction. A Study Of The Early Years Of Computing.”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, . Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten.
. 2009. “How To Talk With A Computer: An Essay On Computability And Man-Computer Conversations”. Off Topic: Ubersetzen. Zeitschrift für Medienkunst der KHM 1: 80–89.
. 2008. “Study Of Limits Of Solvability In Tag Systems”. In Lecture Notes in Computer Science, Lecture Notes in Computer Science, . Springer.
. 2007. “Computer Generated Images As Mathematical Tools”. In Proceedings of the 7th International Conference and Exhibition on Generative Art, Proceedings of the 7th International Conference and Exhibition on Generative Art,.
. 2004. “Facing The Computer. Some Techniques To Understand Technique.”. In Computers and Philosophy, an International Conference, Computers and Philosophy, an International Conference, . EOARD.
. 2006. “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. “Epidemiology And Causation”. Medicine, health care and philosophy 12: 345–353.
. 2009. “Against The Disorder/nondisorder Dichotomy” . Defining Mental Disorders: Jerome Wakefield and his critics.
. In Press. “Confusion And Bad Arguments In The Conceptual Analysis Of Causation”. Logique et analyse 51: 81–99.
. 2008. “Work In Progress In Causal And Probabilistic Reasoning”. The Reasoner 4: 141.
. 2010. “An Interdisciplinary Focus On The Concept Of Causation: What Philosophy Can Learn From Psychology” . Worldviews, Science and Us: Bridging Knowledge and its Implications for our Perpectives on the World.: 55-71.
. 2012.