A celebration of Alan Turing's achievements in the year of his centenary

International Transactions in Operational Research

Volumn 19, Issue 3, 2012, Pages 487-491

  Haeusler, Edward Hermann ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Complexity theory; Computational complexity; Computing science; History of OR

Indexed keywords

COMPLEXITY THEORY; COMPUTING SCIENCE; HISTORY OF OR;

COMPUTATIONAL COMPLEXITY;

EID: 84861424586     PISSN: 09696016     EISSN: 14753995     Source Type: Journal    
DOI: 10.1111/j.1475-3995.2012.00848.x     Document Type: Review

References (14)

1. Arrighi, P., Dowek, G., 2011. The physical Church-Turing thesis and the principles of quantum theory. CoRR, abs/1102.1612.
2. Church, A., 1937. Review of "On computable...". Journal of Symbolic Logic 2, 42-43.
3. Gandy, R., 1980. Church's thesis and principles for mechanisms. In Keisler, H.J., Barwise, J., and Kunen, K. (eds) The Kleene Symposium, Vol. 101. Elsevier, Amsterdam pp. 123-148.
4. Gödel, K., 1965. Gödel's postscriptum to his lecture notes of 1934. In Davis, M. (ed.) The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Dover Publishing, Mineola, NY, pp. 71-73.
5. Grimm, K., 2003. Software technology in an automotive company: Major challenges. Proceedings of the 25th International Conference on Software Engineering, May 2003, IEEE Computer Society, Washington, pp. 498-503.
6. Hodges, A., 2012. Alan Turing. Available at (accessed 7 February, 2012).
7. Trakhtenbrot, B.A., 1950. The impossibility of an algorithm for the decision problem for finite domains. Doklady Akademii Nauk SSSR 70, 569-572.
8. Turing, A.M., 1936-1937. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42, 230-265.
9. Turing, A.M., 1938. Systems of logic defined by ordinals. PhD thesis, Princeton University.
10. Turing, A.M., 1948. Intelligent machinery. Technical Report, National Physical Laboratory, London.
11. Turing, A.M., 1950. Computing machinery and intelligence. Mind 59, 433-460.
12. Turing, A.M., 1952. The chemical basis of morphogenesis. Philosophical Transactions of the British Royal Society 237, 37-72.
13. Turing, A.M., 1986. Proposal for development in the Mathematics Division of an automatic computing engine (ACE). In Carpenter, B.E. and Doran, R.W. (eds), A.M. Turing's ACE Report of 1946 and Other Papers, MIT Press, Cambridge, MA, pp. 20-105.
14. Turing, A.M., 2012. Programmers' handbook for Manchester electronic computer. Technical Report, University of Manchester Computing Laboratory, 1950. Available at (accessed 6 February, 2012).