Search:

Results 1 to 10 of 43 |

Antique toy trains : the hobby of collecting old toy trains / by Godel, Howard.(CARDINAL)686377;
Bibliography: page 215.
Subjects: Railroads;
Available copies: 1 / Total copies: 1
unAPI

Godel's Proof. by Nagel, Ernest,1901-1985.(CARDINAL)714073; Hofstadter, Douglas R.,1945-(CARDINAL)721141; Newman, James R.(James Roy),1907-1966.(CARDINAL)709098;
Available copies: 2 / Total copies: 2
unAPI

The godel operation / by Cambias, James L.;
"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." --
Subjects: Science fiction.; Artificial intelligence; Civilization; Weapons; Friendship; Friendships.;
Available copies: 1 / Total copies: 1
unAPI

The godel operation / by Cambias, James L.,author.;
Includes bibliographical references."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"--
Subjects: Science fiction.; Artificial intelligence; Civilization; Weapons; Friendship; Friendships.;
Available copies: 2 / Total copies: 2
unAPI

Elements of mathematics: from Euclid to Godel / by Stillwell, John.(CARDINAL)512095;
Includes bibliographical references (pages 395-403) and index.Elements of Mathematics takes readers on a fascinating tour that begins in elementary mathematics but, as John Stillwell shows, this subject is not as elementary or straightforward as one might think. Not all topics that are part of today's elementary mathematics were always considered as such, and great mathematical advances and discoveries had to occur in order for certain subjects to become "elementary." Stillwell examines elementary mathematics from a distinctive twenty-first-century viewpoint and describes not only the beauty and scope of the discipline, but also its limits. From Gaussian integers to propositional logic, Stillwell delves into arithmetic, computation, algebra, geometry, calculus, combinatorics, probability, and logic. He discusses how each area ties into more advanced topics to build mathematics as a whole. Through a rich collection of basic principles, vivid examples, and interesting problems, Stillwell demonstrates that elementary mathematics becomes advanced with the intervention of infinity. Infinity has been observed throughout mathematical history, but the recent development of "reverse mathematics" confirms that infinity is essential for proving well-known theorems, and helps to determine the nature, contours, and borders of elementary mathematics. Elements of Mathematics gives readers, from high school students to professional mathematicians, the highlights of elementary mathematics and glimpses of the parts of math beyond its boundaries.
Subjects: Mathematics;
Available copies: 1 / Total copies: 1
unAPI

Incompleteness : the proof and paradox of Kurt Gödel / by Goldstein, Rebecca,1950-(CARDINAL)729866;
Includes bibliographical references (pages 263-277) and index.A Platonist among the positivists -- Hilbert and the formalists -- The proof of incompleteness -- Gödel's incompleteness."An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
Subjects: Biographies.; Gödel, Kurt.; Logicians; Logicians; Proof theory.;
Available copies: 5 / Total copies: 5
unAPI

Gödel, Escher, Bach : an eternal golden braid / by Hofstadter, Douglas R.,1945-(CARDINAL)721141;
Includes bibliographical references (pages 746-756) and index.1150LPulitzer Prize for General Non-Fiction, 1980
Subjects: Bach, Johann Sebastian, 1685-1750.; Escher, M. C. (Maurits Cornelis), 1898-1972.; Gödel, Kurt.; Metamathematics.; Symmetry.; Artificial intelligence.;
Available copies: 3 / Total copies: 6
unAPI

Journey to the edge of reason : the life of Kurt Gödel / by Budiansky, Stephen,author.(CARDINAL)330675;
Includes bibliographical references and index."The first major biography of the logician and mathematician whose incompleteness theorems helped launch a modern scientific revolution. Nearly a hundred years after its publication, Kurt Gödel's famous proof that every mathematical system must contain propositions that are true--yet never provable--continues to unsettle mathematics, philosophy, and computer science. Yet unlike Einstein, with whom he formed a warm and abiding friendship, Gödel has long escaped all but the most casual scrutiny of his life. An intimate portrait of the scientific and intellectual circles in prewar Vienna and a vivid re-creation of the early days of Princeton's Institute for Advanced Study, Journey to the Edge of Reason is the first biography to fully draw upon Gödel's voluminous letters and writings--including a never-before-transcribed shorthand diary of his most intimate thoughts--to explore his profound intellectual friendships, his moving relationship with his mother, his troubled yet devoted marriage, and the debilitating bouts of paranoia that ultimately took his life. It illuminates the mind-bending implications of Gödel's revolutionary ideas for philosophy, mathematics, artificial intelligence, and man's place in the cosmos"--
Subjects: Biographies.; Gödel, Kurt.; Logicians; Logicians; Mathematicians; Mathematicians; Gödel's theorem.; Mathematics; Logic, Symbolic and mathematical.;
Available copies: 7 / Total copies: 7
unAPI

A world without time : the forgotten legacy of Gödel and Einstein / by Yourgrau, Palle.(CARDINAL)773114;
Includes bibliographical references (pages 195-199) and index.
Subjects: Einstein, Albert, 1879-1955.; Gödel, Kurt.; Time;
Available copies: 4 / Total copies: 4
unAPI

When Einstein walked with Gödel : excursions to the edge of thought / by Holt, Jim,1954-author.(CARDINAL)354467;
"A collection of essays on philosophy, mathematics, and science, and the people who pursue them"--Includes bibliographical references and index.Part I: The moving image of eternity. When Einstein walked with Gödel ; Time--the grand illusion? -- Part II: Numbers in the brain, in platonic heaven, and in society. Numbers guy: the neuroscience of math ; The Riemann Zeta conjecture and the laughter of the primes ; Sir Francis Galton, the father of statistics...and eugenics -- Part III: Mathematics, pure and impure. A mathematical romance ; The avatars of higher mathematics ; Benoit Mandelbrot and the discovery of fractals -- Part IV: Higher dimensions, abstract maps. Geometrical creatures ; A comedy of colors -- Part V: Infinity, large and small. Infinite visions: Georg Cantor v. David Foster Wallace ; Worshipping infinity: why the Russians do and the French don't ; The dangerous idea of the infinitesimal -- Part VI: Heroism, tragedy, and the computer age. The Ada perplex: was Byron's daughter the first coder? ; Alan Turing in life, logic, and death ; Dr. Strangelove makes a thinking machine ; Smarter, happier, more productive -- Part VII: The cosmos reconsidered. The string theory wars: is beauty truth? ; Einstein, "Spooky action," and the reality of space ; How will the Universe end? -- Part VII: Quick studies: a selection of shorter essays. Little big man ; Doom soon ; Death: bad? ; The looking-glass war ; Astrology and the demarcation problem ; Gödel takes on the U.S. Constitution ; The law of least action ; Emmy Noether's beautiful theorem ; Is logic coercive? ; Newcomb's problem and the paradox of choice ; The right not to exist ; Can't anyone get Heisenberg right? ; Overconfidence and the Monty Hall problem ; The cruel law of eponymy ; The mind of a rock -- Part IX: God, sainthood, truth, and bullshit. Dawkins and the deity ; On moral sainthood ; Truth and reference: a philosophical feud ; Say anything.
Subjects: Essays.; Philosophy.; Mathematics.; Science.;
Available copies: 10 / Total copies: 10
unAPI

Results 1 to 10 of 43 |