What Is Thinking?

What is Turing's Test? What is Gödel's Undecidability Theorem? How is Berners-Lee's 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 Gödel (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 the opportunities and challenges of a "smarter" Web through a threaded series of vignettes and a thorough review of Semantic Web development.

H. Peter Alesso is an innovator with twenty years' research experience at Lawrence Livermore National Laboratory (LLNL). As Engineering Group Leader at LLNL, he led a team of computer scientists and engineers in innovative applications across a wide range of supercomputers, workstations, and networks. He has published several software titles and scientific journal and conference articles, and is the author or coauthor of five books.

Craig F. Smith, PhD, is a Fellow of the American Association for the Advancement of Science (AAAS) with over thirty years' experience in research and development for applications of advanced technologies. He currently serves as the Lawrence Livermore Chair Professor at the Naval Postgraduate School in Monterey, California. He is the coauthor of four books.