Turing, Computing and Communication Export

@article{citeulike:4416771, abstract = {How has computer science developed since Turing's founding ideas? His thinking bore strongly both upon the possibility of mechanical intelligence and upon logical foundations. One cannot do justice to both in a short lecture, and I shall continue the discussion of logical foundations which Martin Hyland has begun. Physical computers came to exist some ten years after Turing's paper on the entscheidungs problem, notably with the EDSAC here in the Mathematical Laboratory in 1949, under the leadership of Maurice Wilkes; a great engineering achievement. These, logic and engineering, are the two foundation stones of computer science; our constructions rest rmly on both foundations, and thereby strengthen both. I shall discuss how the logical foundation has developed through practical experience. My thesis is that this logical foundation has changed a lot since Turing, but harks back to him. To be more precise: THESIS: 1 Computing has grown into Informatics: – the science of interactive systems 2 Turing's logical computing machines are matched by a logic of interaction My message is that we must develop this logical theory; partly because otherwise the interactive systems which we build, or which just happen, will escape our understanding and the consequences may be serious, and partly because it is a new scientic challenge, Besides, it has all the charm of inventing the science of navigation while already on board ship.}, author = {Milner, Robin}, citeulike-article-id = {4416771}, citeulike-linkout-0 = {http://www.cl.cam.ac.uk/~rm135/turing.pdf}, keywords = {3rd-generation, descriptive, emergent-behavior, environment, interactive, mobile, open-environment}, posted-at = {2009-04-28 20:40:35}, priority = {0}, title = {Turing, Computing and Communication}, url = {http://www.cl.cam.ac.uk/~rm135/turing.pdf}, year = {1997} }

TY - JOUR ID - citeulike:4416771 L3 - citeulike-article-id:4416771 N2 - How has computer science developed since Turing's founding ideas? His thinking bore strongly both upon the possibility of mechanical intelligence and upon logical foundations. One cannot do justice to both in a short lecture, and I shall continue the discussion of logical foundations which Martin Hyland has begun. Physical computers came to exist some ten years after Turing's paper on the entscheidungs problem, notably with the EDSAC here in the Mathematical Laboratory in 1949, under the leadership of Maurice Wilkes; a great engineering achievement. These, logic and engineering, are the two foundation stones of computer science; our constructions rest rmly on both foundations, and thereby strengthen both. I shall discuss how the logical foundation has developed through practical experience. My thesis is that this logical foundation has changed a lot since Turing, but harks back to him. To be more precise: THESIS: 1 Computing has grown into Informatics: – the science of interactive systems 2 Turing's logical computing machines are matched by a logic of interaction My message is that we must develop this logical theory; partly because otherwise the interactive systems which we build, or which just happen, will escape our understanding and the consequences may be serious, and partly because it is a new scientic challenge, Besides, it has all the charm of inventing the science of navigation while already on board ship. TI - Turing, Computing and Communication KW - 3rd-generation KW - descriptive KW - emergent-behavior KW - environment KW - interactive KW - mobile KW - open-environment AU - Milner, Robin PY - 1997/// UR - http://www.cl.cam.ac.uk/~rm135/turing.pdf ER -