The Godel Operation
Title | The Godel Operation PDF eBook |
Author | James L. Cambias |
Publisher | Baen Books |
Pages | 345 |
Release | 2021-05-04 |
Genre | Fiction |
ISBN | 1625798083 |
Science fiction at its sense-of-wonder best. A wild chase through the billion worlds of the Tenth Millennium in search of a mythical weapon that could save civilization—or doom it! A DROID AND HIS BOY, ON A SEARCH FOR A LEGENDARY WEAPON Daslakh is an AI with a problem. Its favorite human, a young man named Zee, is in love with a woman who never existed—and he will scour the Solar System to find her. But in the Tenth Millennium, a billion worlds circle the Sun—everything from terraformed planets to artificial habitats, home to a quadrillion beings. Daslakh’s nicely settled life gets more complicated when Zee helps a woman named Adya escape a gang of crooks. This gets the pair caught up in the hunt for the Godel Trigger, a legendary weapon left over from an ancient war between humans and machines—which could spell the end of civilization. In their search, they face a criminal cat and her henchmen, a paranoid supermind with a giant laser, the greatest thief in history, and a woman who might actually be Zee’s lost love. It’s up to Daslakh to save civilization, keep Zee’s love life on the right track—and make sure that nobody discovers the real secret of the Godel Trigger. At the publisher's request, this title is sold without DRM (Digital Rights Management). Praise for the work of James L. Cambias: “Beautifully written, with a story that captures the imagination the way SF should.”—Booklist, starred review “An engaging nail-biter that is exciting, fun and a satisfying read.”—The Qwillery '“An impressive debut by a gifted writer.”—Publishers Weekly, starred review “An exceptionally thoughtful, searching and intriguing debut.”—Kirkus, starred review “James Cambias will be one of the century's major names in hard science fiction.”—Robert J. Sawyer, Hugo Award–winning author of Red Planet Blues “Fast-paced, pure quill hard science fiction. . . . Cambias delivers adroit plot pivots that keep the suspense coming.”—Gregory Benford, Nebula Award-winning author of Timescape
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Title | On Formally Undecidable Propositions of Principia Mathematica and Related Systems PDF eBook |
Author | Kurt Gödel |
Publisher | Courier Corporation |
Pages | 82 |
Release | 2012-05-24 |
Genre | Mathematics |
ISBN | 0486158403 |
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.
The shackles of conviction
Title | The shackles of conviction PDF eBook |
Author | James R. Meyer |
Publisher | |
Pages | 346 |
Release | 2008 |
Genre | Fiction |
ISBN | 9781906706005 |
The Initiate
Title | The Initiate PDF eBook |
Author | James L. Cambias |
Publisher | Baen Books |
Pages | 288 |
Release | 2020-02-04 |
Genre | Fiction |
ISBN | 1625797532 |
A SECRET ORDER OF SORCERERS RULES THE WORLD. ONE MAN HAS VOWED TO DESTROY THEM. It's their world. He's going to take it away from them. The Apkallu are masters of magic. Theirs is a secret tradition stretching back to the dawn of civilization. They rule the world from the shadows, using mind control and deadly monsters to eliminate any threat to their power. If they know your name, or have a trace of your blood, you can never defy them. Sam Arquero lost his family to a demon, and knew that nobody would believe the truth. An old man named Lucas offers him the chance to find out who is responsible, and bring down the Apkallu forever. All he has to do is join them . . . Under a new identity Sam learns the secrets of magic, infiltrates the Apkallu, and walks a razor's edge as he picks off their leaders while avoiding supernatural detectives on his trail. But Sam faces a greater threat: As he fights monsters, what is he becoming? At the publisher's request, this title is sold without DRM (Digital Rights Management). Praise for Arkad's World: “Far-flung adventure . . . Cambias offers up an entertaining coming-of-age novel filled with action and surprises. His aliens are suitably non-human in mannerisms, attitudes, and objectives, and his worldbuilding suggests a vast universe ready for further exploration. Readers . . . will find this hits the spot.”—Publishers Weekly “. . . a classic quest story, a well-paced series of encounters with different folk along the way, building momentum toward a final confrontation with Arkad's past. . . [with] a delicious twist to the end.”—ALA Booklist "Cambias has achieved a feat of world-building: an expansive, believable setting with fascinating aliens, compelling mysteries, and a rich sense of history."—Bookpage "Drop a teenage boy into a distant planet chock full of colorful aliens—with troubles all their own. Stir, flavor, apply heat. A tour de force in the field, and great, quick fun."—Gregory Benford Praise for the work of James L. Cambias: "Beautifully written, with a story that captures the imagination the way SF should."—Booklist, starred review “An engaging nail-biter that is exciting, fun and a satisfying read.” —The Qwillery "An impressive debut by a gifted writer."—Publishers Weekly, starred review "An exceptionally thoughtful, searching and intriguing debut."—Kirkus, starred review "James Cambias will be one of the century's major names in hard science fiction."—Robert J. Sawyer, Hugo Award–winning author of Red Planet Blues "Fast-paced, pure quill hard science fiction. . . . Cambias delivers adroit plot pivots that keep the suspense coming."—Gregory Benford, Nebula Award-winning author of Timescape
Gödel's Disjunction
Title | Gödel's Disjunction PDF eBook |
Author | Leon Horsten |
Publisher | Oxford University Press |
Pages | 288 |
Release | 2016-09-09 |
Genre | Mathematics |
ISBN | 0191077682 |
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Gödel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.
Principia Mathematica
Title | Principia Mathematica PDF eBook |
Author | Alfred North Whitehead |
Publisher | |
Pages | 688 |
Release | 1910 |
Genre | Logic, Symbolic and mathematical |
ISBN |
An Introduction to Gödel's Theorems
Title | An Introduction to Gödel's Theorems PDF eBook |
Author | Peter Smith |
Publisher | Cambridge University Press |
Pages | 376 |
Release | 2007-07-26 |
Genre | Mathematics |
ISBN | 1139465937 |
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.