Publications

Kalmar and Peter: Undecidability as a Consequence of Incompleteness

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.

Computing As Model-based Empirical Science

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.

The Tears of Donald Knuth

T. Haigh, The Tears of Donald Knuth, Communications of the ACM, vol. 58, no. 1, 2015.

What an Algorithm Is

R. K. Hill, What an Algorithm Is, Philosophy & Technology, pp. 1-25, 2015.

Pages