Thinking on the Web: Berners-Lee, Gödel and Turing
Harry Peter Alesso, Craig F. Smith · CERN Document Server (European Organization for Nuclear Research) · 2006
What is Thinking? What is Turings Test? What is Gdels Undecidability Theorem? How is Berners-Lees Semantic Web logic going to overcome paradoxes and complexity to produce machine processing on the Web? Thinking on the Web draws from the contributions of Tim Berners-Lee (What is solvable on the Web?), Kurt Gdel (What is decidable?), and Alan Turing (What is machine intelligence?) to evaluate how much intelligence can be projected onto the Web. The authors offer both abstract and practical perspectives to delineate both the opportunities and challenges of a smarter Web through a threaded series of vignettes and a thorough review of Semantic Web development.