Apostolos Doxiadis

Christos H. Papadimitriou

Recounts, in graphic novel format, the life of Bertrand Russell, mathematician and philospher, and his life-long struggle to achieve perfect logic and ultimate truth.

An Epic Search for Truth

Logicomix

Alecos Papadatos

Apostolos K. Doxiadēs

Biografie in stripvorm van de Britse filosoof en wiskundige Bertrand Russell (1872-1970) en zijn speurtocht naar de grondslagen van de wiskunde.

een epische zoektocht naar de waarheid

Logicomix / druk 1

The first unified introduction and reference for the field of computational complexity. Virtually non-existent only 25 years ago, computational complexity has expanded tremendously and now comprises a major part of the researh activity in theoretical science.

Computational Complexity

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.

a novel about computation

Turing

Kenneth Steiglitz

This graduate-level text considers the Soviet ellipsoid algorithm for linear programming; efficient algorithms for network flow, matching, spanning trees, and matroids; the theory of NP-complete problems; local search heuristics for NP-complete problems, more. 1982 edition.

Algorithms and Complexity

Combinatorial Optimization

The Theory of Database Concurrency Control

Clearly written graduate-level text considers 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. "Mathematicians wishing a self-contained introduction need look no further." — American Mathematical Monthly. 1982 edition.

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.

Turing (A Novel about Computation)

Charles L. Harper, Jr

Hilary W. Putnam

Dana S. Scott

Matthias Baaz

This volume commemorates the life, work and foundational views of Kurt Gödel (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 Gödel 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 Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.

Christos H. Papadimitriou

About

Books

Join the club