错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

If CiE Did Not Exist, It Would Be Necessary to Invent It

  • S. Barry Cooper

摘要

As it happens, “Computability in Europe” was invented, just over two years ago, and in a short time has grown beyond all expectations. But even though the surprise of finding together so many researchers into different aspects of computability has not worn off, CiE does represent a strand of scientific endeavour going back to the earliest times. Even before Euclid of Alexandria devised his algorithm for finding the greatest common divisor of two integers, human survival depended on the identification of algorithmic content in the everyday world. What distinguished Euclid, and successors like Newton, Leibniz, Frege, Peano, Babbage, Russell, Hilbert, Gödel and Turing, is the reaching for control over that content through theory and abstraction. Perhaps Albert Einstein had something like this in mind in 1950 when he wrote (p. 54 of Out of My Later Years, Philosophical Library, New York)