14
POPSNew Scifi Story About How Google Achieves Consciousness rom the story: When Ed examined the traffic, he realized that Google was doing more than mapping the digital universe. Google doesn't merely link or point to data. It moves data around. Data that are associated frequently by search requests are locally replicated—establishing physical proximity, in the real universe, that is manifested computationally as proximity in time. Google was more than a map. Google was becoming something else.
12
POPSGoodbye To Faulty Software? The program that performs the computation is equivalent to the proof of the theorem. By proving the theorem the program is guaranteed to be correct. It is not that simple, of course, but so promising is type theory that since 1989 the EU has been funding a string of projects to develop it under the Future and Emerging Technologies programme. That style of working is going to change so that we spend more effort on actually writing programs than testing them.