This brilliantly illustrated tale of reason, insanity, love and truth recounts the story of Bertrand Russell's life. Raised by his paternal grandparents, young Russell was never told the whereabouts of his parents. Driven by a desire for knowledge of his own history, he attempted to force the world to yield to his yearnings: for truth, clarity and resolve. As he grew older, and increasingly sophisticated as a philosopher and mathematician, Russell strove to create an objective language with which to describe the world - one free of the biases and slippages of the written word. At the same time, he began courting his first wife, teasing her with riddles and leaning on her during the darker days, when his quest was bogged down by paradoxes, frustrations and the ghosts of his family's secrets. Ultimately, he found considerable success - but his career was stalled when he was outmatched by an intellectual rival: his young, strident, brilliantly original student, Ludwig Wittgenstein. An insightful and complexly layered narrative, Logicomix reveals both Russell's inner struggle and the quest for the foundations of logic. Narration by an older, wiser Russell, as well as asides from the author himself, make sense of the story's heady and powerful ideas. At its heart, Logicomix is a story about the conflict between pure reason and the persistent flaws of reality, a narrative populated by great and august thinkers, young lovers, ghosts and insanity.

This volume commemorates the life, work and foundational views of Kurt Goedel (1906-78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Goedel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Goedel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.

This volume commemorates the life, work, and foundational views of Kurt Godel (1906 1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency with the other widely accepted axioms of set theory of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Godel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Godel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers."

This clearly written , mathematically rigorous text includes a novel algorithmic exposition of the simplex method and also discusses the Soviet ellipsoid algorithm for linear programming; efficient algorithms for network flow, matching, spanning trees, and matroids; the theory of NP-complete problems; approximation algorithms, local search heuristics for NP-complete problems, more. All chapters are supplemented by thought-provoking problems. A useful work for graduate-level students with backgrounds in computer science, operations research, and electrical engineering. "Mathematicians wishing a self-contained introduction need look no further."-American Mathematical Monthly. 1982 ed.

The world of computation according to Turing, an interactive tutoring program, as told to star-crossed lovers: a novel. Our hero is Turing, an interactive tutoring program and namesake (or virtual emanation?) of Alan Turing, World War II code breaker and father of computer science. In this unusual novel, Turing's idiosyncratic version of intellectual history from a computational point of view unfolds in tandem with the story of a love affair involving Ethel, a successful computer executive, Alexandros, a melancholy archaeologist, and Ian, a charismatic hacker. After Ethel (who shares her first name with Alan Turing's mother) abandons Alexandros following a sundrenched idyll on Corfu, Turing appears on Alexandros's computer screen to unfurl a tutorial on the history of ideas. He begins with the philosopher-mathematicians of ancient Greece-"discourse, dialogue, argument, proof... can only thrive in an egalitarian society"-and the Arab scholar in ninth-century Baghdad who invented algorithms; he moves on to many other topics, including cryptography and artificial intelligence, even economics and developmental biology. (These lessons are later critiqued amusingly and developed further in postings by a fictional newsgroup in the book's afterword.) As Turing's lectures progress, the lives of Alexandros, Ethel, and Ian converge in dramatic fashion, and the story takes us from Corfu to Hong Kong, from Athens to San Francisco-and of course to the Internet, the disruptive technological and social force that emerges as the main locale and protagonist of the novel. Alternately pedagogical and romantic, Turing (A Novel about Computation) should appeal both to students and professionals who want a clear and entertaining account of the development of computation and to the general reader who enjoys novels of ideas.