Category: Publications

M. Szabo, “Kalmar and Peter: Undecidability as a Consequence of Incompleteness”, Computability in Europe, vol. Beckmann, Mitrana, and Soskova (eds) – Evolving Computability, 11th Conference of CiE, Bucharest, 2015. Springer, pp. 343-352, 2015.

E. G. Daylight, “From mathematical logic to programming-language semantics: a discussion with Tony Hoare”, Journal of Logic and Computation, vol. 25, pp. 1091-1110, 2015. http://dx.doi.org/10.1093/logcom/exs071

L. De Mol, Carlé, M., and Bullynck, M., “Haskell before Haskell: an alternative lesson in practical logics of the ENIAC”, Journal of Logic and Computation, vol. 25, pp. 1011-1046, 2015. http://dx.doi.org/10.1093/logcom/exs072

F. Cardone, “Continuity in Semantic Theories of Programming”, History and Philosophy of Logic, pp. 1-20, 2015. http://dx.doi.org/10.1080/01445340.2015.1054576

G. Primiero, “Realist Consequence, Epistemic Inference, Computational Correctness”, in The Road to Universal Logic, A. Koslow and Buchsbaum, A. Birkenhauser, Springer, 2015.

P. Fishwick, “Computing As Model-based Empirical Science”, in Proceedings of the 2Nd ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation, New York, NY, USA, 2014. http://dx.doi.org/10.1145/2601381.2601391

J. Dubucs and Bourdeau, M., Constructivity and Computability in Historical and Philosophical Perspective, vol. 34. Springer, 2014. http://dx.doi.org/10.1007/978-94-017-9217-2

T. Haigh, “The Tears of Donald Knuth”, Communications of the ACM, vol. 58, no. 1, 2015. http://dx.doi.org/10.1145/2688497

R. K. Hill, “What an Algorithm Is”, Philosophy & Technology, pp. 1-25, 2015. http://dx.doi.org/10.1007/s13347-014-0184-5

M. Bullynck, Daylight, E., and De Mol, L., “Why Did Computer Science Make a Hero out of Turing?”, Communications of the ACM, In Press.