The Undecidable

"A valuable collection both for original source material as well as historical formulations of current problems." — The Review of Metaphysics "Much more than a mere collection of papers. A valuable addition to the literature." — Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field , this classic reference is ideally suited as a text for graduate and undergraduate courses in logic, philosophy, and foundations of mathematics. It is also appropriate for self-study. The text opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. Additional papers by Church, Turing, and Post cover unsolvable problems from the theory of abstract computing machines, mathematical logic, and algebra, and material by Kleene and Post includes initiation of the classification theory of unsolvable problems. Supplementary items include corrections, emendations, and added commentaries by Godel, Church, and Kleene for this volume's original publication, along with a helpful commentary by the editor.

This book offers a detailed engagement between the French philosopher Jacques Derrida and the contemporary Irish author Paul Howard, aka Ross O’Carroll-Kelly. The book offers insightful analyses of Derrida’s deconstructive theory with all its concepts, non-concepts and neologisms, thus showing how they can be used in order to provide a critique of the socio-linguistic realm of Howard’s fictional series. Through his work, Howard set in ink a depiction of Ireland, and specifically Dublin, throughout the Celtic Tiger era and its aftermath. The book promotes a dialogue between Derrida and Howard in order to cultivate a succinct and accessible overview of critical theory.

This book—the culmination of forty years of friendship between J. Hillis Miller and Jacques Derrida, during which Miller also closely followed all Derrida’s writings and seminars—is “for Derrida” in two senses. It is “for him,” dedicated to his memory. The chapters also speak, in acts of reading, as advocates for Derrida’s work. They focus especially on Derrida’s late work, including passages from the last, as yet unpublished, seminars. The chapters are “partial to Derrida,” on his side, taking his part, gratefully submitting themselves to the demand made by Derrida’s writings to be read—slowly, carefully, faithfully, with close attention to semantic detail. The chapters do not progress forward to tell a sequential story. They are, rather, a series of perspectives on the heterogeneity of Derrida’s work, or forays into that heterogeneity. The chief goal has been, to borrow a phrase from Wallace Stevens, “plainly to propound” what Derrida says. The book aims, above all, to render Derrida’s writings justice. It should be remembered, however, that, according to Derrida himself, every rendering of justice is also a transformative interpretation. A book like this one is not a substitute for reading Derrida for oneself. It is to be hoped that it will encourage readers to do just that.

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.

This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineering and Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself.

The purpose of this volume is to rethink the questions posed by Derrida's writings and his unique philosophical positioning, without reference to the catch phrases that have supposedly summed up deconstruction.

'Wall to Wall: Law as Culture in Latin America and Spain' comprises interventions from a wide array of scholars based in the US, Spain, and Latin America, exploring the encounter of Hispanophone cultures and the law. Its contributors delineate a fraught relationship of complicity, negotiation, and outright confrontation covering five centuries and a truly global landscape, from Inquisitorial processes at the onset of the Spanish Empire to last-ditch plans to preserve it in the 19th century Philippines, to the challenges to contemporary articulations of the nation-state in Catalonia. Beyond single, specialized time-period and national cultures, 'Wall to Wall' embraces and showcases the heterogeneity of the field, covering both well-known territory (Argentina, Mexico, Spain) and often-neglected cultures (Venezuela, Philippines, and indigenous communities in the Yucatan area), as well as problems that cannot be narrowed down to the nation-state (exile, independence processes, non-state laws, translation of foreign cultures). Contributors include: Aurélie Vialette, Daniel Aguirre-Oteiza, Daniela Dorfman, María Fernanda Lander, Gloria Elizabeth Chacón, Iván Trujillo, Benjamin Easton, Pauline de Tholozany, Lauren G.J. Reynolds, Ignasi Gozalo-Salellas, and Gabriela Balcarce. The chapters included foreground the conceptual diversity of the field, in dialogue with issues in literary and visual culture, (post-)colonialism, race, nationalism, gender, and class. Not only do they place vernacular objects in dialogue with current international concepts and methods, but these essays also aim to advance an autonomous conceptual and theoretical work-based approach. Its chapters aspire to enter a global discussion around the state-centered aspiration to shape culture and the many literary and cultural practices that escape it; researchers of those issues and Latin American and Iberian studies will find new venues to rethink their global archive.

Badiou is widely considered to be France's most important and exciting contemporary thinker. Much of Badiou's earlier work (including Being and Event) can only be fully understood with a clear grasp of Theory of the Subject, one of his most important works.