Books -- Logic

Logic

Browse by Catagory:

Godel, Escher, Bach: An Eternal Golden Braid

Sales rank: 1626

Twenty years after it topped the bestseller charts, Douglas R. Hofstadter's Gödel, Escher, Bach: An Eternal Golden Braid is still something of a marvel. Besides being a profound and entertaining meditation on human thought and creativity, this book looks at the surprising points of contact between the music of Bach, the artwork of Escher, and the mathematics of Gödel. It also looks at the prospects for computers and artificial intelligence (AI) for mimicking human thought. For the general reader and the computer techie alike, this book still sets a standard for thinking about the future of computers and their relation to the way we think.

Hofstadter's great achievement in Gödel, Escher, Bach was making abstruse mathematical topics (like undecidability, recursion, and 'strange loops') accessible and remarkably entertaining. Borrowing a page from Lewis Carroll (who might well have been a fan of this book), each chapter presents dialogue between the Tortoise and Achilles, as well as other characters who dramatize concepts discussed later in more detail. Allusions to Bach's music (centering on his Musical Offering) and Escher's continually paradoxical artwork are plentiful here. This more approachable material lets the author delve into serious number theory (concentrating on the ramifications of Gödel's Theorem of Incompleteness) while stopping along the way to ponder the work of a host of other mathematicians, artists, and thinkers.

The world has moved on since 1979, of course. The book predicted that computers probably won't ever beat humans in chess, though Deep Blue beat Garry Kasparov in 1997. And the vinyl record, which serves for some of Hofstadter's best analogies, is now left to collectors. Sections on recursion and the graphs of certain functions from physics look tantalizing, like the fractals of recent chaos theory. And AI has moved on, of course, with mixed results. Yet Gödel, Escher, Bach remains a remarkable achievement. Its intellectual range and ability to let us visualize difficult mathematical concepts help make it one of this century's best for anyone who's interested in computers and their potential for real intelligence. --Richard Dragan

Topics Covered: J.S. Bach, M.C. Escher, Kurt Gödel: biographical information and work, artificial intelligence (AI) history and theories, strange loops and tangled hierarchies, formal and informal systems, number theory, form in mathematics, figure and ground, consistency, completeness, Euclidean and non-Euclidean geometry, recursive structures, theories of meaning, propositional calculus, typographical number theory, Zen and mathematics, levels of description and computers; theory of mind: neurons, minds and thoughts; undecidability; self-reference and self-representation; Turing test for machine intelligence.

Douglas Hofstadter’s book is concerned directly with the nature of “maps” or links between formal systems. However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel Escher and Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

Sales rank: 5021

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing

Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming.

The book expands Turing’s original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing’s statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.

Interwoven into the narrative are the highlights of Turing’s own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)

Sales rank: 12620

A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.

In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.

In this best-selling classic, George Pólya revealed how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have relished Pólya's deft instructions on stripping away irrelevancies and going straight to the heart of a problem. How to Solve It popularized heuristics, the art and science of discovery and invention. It has been in print continuously since 1945 and has been translated into twenty-three different languages.

Pólya was one of the most influential mathematicians of the twentieth century. He made important contributions to a great variety of mathematical research: from complex analysis to mathematical physics, number theory, probability, geometry, astronomy, and combinatorics. He was also an extraordinary teacher--he taught until he was ninety--and maintained a strong interest in pedagogical matters throughout his long career. In addition to How to Solve It, he published a two-volume work on the topic of problem solving, Mathematics of Plausible Reasoning, also with Princeton.

Pólya is one of the most frequently quoted mathematicians, and the following statements from How to Solve It make clear why: "My method to overcome a difficulty is to go around it." "Geometry is the science of correct reasoning on incorrect figures." "In order to solve this differential equation you look at it till a solution occurs to you."

Logic: A Very Short Introduction (Very Short Introductions)

Sales rank: 75797

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy.

How to Prove It: A Structured Approach

Sales rank: 75792

Geared to preparing students to make the transition from solving problems to proving theorems, this text teaches them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5Beginning with the basic concepts of logic and set theory, this book teaches the language of mathematics and how it is interpreted. The author uses these concepts as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. He shows how complex proofs are built up from these smaller steps, using detailed "scratch work" sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

Introduction to Logic

Sales rank: 37390

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

Schaum's Outline of Logic

Sales rank: 90184

The explosive progress of logic, since Frege, has produced applications in linguistics, mathematics and computer science. Students and practitioners of any of these fields, and of philosophy, will find this book an excellent reference or introduction. Now expanded to include non-classical logic, logic for the computer, and more. The central concepts are explained as they come into play in informal writing and conversation--argument, validity, relevance, and so on. This study guide progresses to concepts such as probability calculus.

God Created the Integers: The Mathematical Breakthroughs That Changed History

Sales rank: 141570

"God created the integers," wrote mathematician Leopold Kronecker, "All the rest is the work of Man." In this collection of landmark mathematical works, editor Stephen Hawking has assembled the greatest feats humans have ever accomplished using just numbers and their brains. Each of the 17 sections opens with a historical introduction of the featured author, and proceeds to a faithful translation of their most famous work. While most mathematicians will already have complete editions of Isaac Newton's Principia or Georg Cantor's Contributions to the Founding of the Theory of Transfinite Numbers, this book is unique in presenting just the best bits of these and other theoretical works. The collection spans 2,500 years and covers a vast range of theories: the parallel postulate, Boolean logic, differential calculus, and the philosophy of the unknowable among them. Dense with numbers, formulae, and ideas, God Created the Integers is quite challenging, but Hawking rewards curious readers with a look at how mathematics has been built. In contrast to the towering physical edifices of great civilizations of the past, Hawking writes, "The greatest wonder of the modern world is our understanding." --Therese Littleton

Bestselling author and physicist Stephen Hawking explores the "masterpieces" of mathematics, 25 landmarks spanning 2,500 years and representing the work of 15 mathematicians, including Augustin Cauchy, Bernard Riemann, and Alan Turing. This extensive anthology allows readers to peer into the mind of genius by providing them with excerpts from the original mathematical proofs and results. It also helps them understand the progression of mathematical thought, and the very foundations of our present-day technologies. Each chapter begins with a biography of the featured mathematician, clearly explaining the significance of the result, followed by the full proof of the work, reproduced from the original publication.

Logic For Dummies (For Dummies (Math & Science))

Sales rank: 61689

Logic concepts are more mainstream than you may realize. There’s logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such shows as CSI and Numbers incorporate a variety of logistical studies. Logic For Dummies explains a vast array of logical concepts and processes in easy-to-understand language that make everything clear to you, whether you’re a college student of a student of life. You’ll find out about:

Formal Logic
Syllogisms
Constructing proofs and refutations
Propositional and predicate logic
Modal and fuzzy logic
Symbolic logic
Deductive and inductive reasoning

Logic For Dummies tracks an introductory logic course at the college level. Concrete, real-world examples help you understand each concept you encounter, while fully worked out proofs and fun logic problems encourage you students to apply what you’ve learned.

Mathematical Thinking: Problem-Solving and Proofs (2nd Edition)

Sales rank: 82167

This survey of both discrete and continuous mathematics focuses on the logical thinking skills necessary to understand and communicate fundamental ideas and proofs in mathematics, rather than on rote symbolic manipulation. Coverage begins with the fundamentals of mathematical language and proof techniques (such as induction); then applies them to easily-understood questions in elementary number theory and counting; then develops additional techniques of proofs via fundamental topics in discrete and continuous mathematics. Topics are addressed in the context of familiar objects; easily-understood, engaging examples; and over 700 stimulating exercises and problems, ranging from simple applications to subtle problems requiring ingenuity. ELEMENTARY CONCEPTS. Numbers, Sets and Functions. Language and Proofs. Properties of Functions. Induction. PROPERTIES OF NUMBERS. Counting and Cardinality. Divisibility. Modular Arithmetic. The Rational Numbers. DISCRETE MATHEMATICS. Combinatorial Reasoning. Two Principles of Counting. Graph Theory. Recurrence Relations. CONTINUOUS MATHEMATICS. The Real Numbers. Sequences and Series. Continuity. Differentiation. Integration. The Complex Numbers. For anyone interested in learning how to understand and write mathematical proofs, or a reference for college professors and high school teachers of mathematics.

Next >>

Page 1 of 315

Apparel	Books	Classical Music	DVD	Electronics & Photo	Gourmet Food	Health & Personal Care	Home & Garden	Kitchen
Popular Music	Outdoor Living	Computer Hardware	Computer Software	Sporting Goods	Tools	Toys	VHS Video	Video Games