Rakuten Kobo

How to Bake Pi

An Edible Exploration of the Mathematics of Mathematics

by Eugenia Cheng ...

**One of the world's most creative mathematicians finds the meaning of mathematics in the kitchen  ****“Whimsical…rigorous and insightful.” —**New York TimesWhat is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered, ... Read more

$12.99 USD

**One of the world's most creative mathematicians finds the meaning of mathematics in the kitchen  ****“Whimsical…rigorous and insightful.” —**New York TimesWhat is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered,
... Read more
Godel's Mistake

The Role of Meaning in Mathematics

by Ashish Dalela ...

Gödel's incompleteness theorem is a foundational result in mathematics that proves that any axiomatic theory of numbers will be either inconsistent or incomplete. Turing’s Halting problem is a foundational result in computing proving that computers cannot know if a program will halt. Gödel’s Mistake connects these theorems to the question of meaning. The book shows that the proofs arise due to ... Read more

$2.69 USD

Gödel's incompleteness theorem is a foundational result in mathematics that proves that any axiomatic theory of numbers will be either inconsistent or incomplete. Turing’s Halting problem is a foundational result in computing proving that computers cannot know if a program will halt. Gödel’s Mistake connects these theorems to the question of meaning. The book shows that the proofs arise due to
... Read more
Complexity, Logic, and Recursion Theory

by Andrea Sorbi ...

Series series Lecture Notes in Pure and Applied Mathematics
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature." ... Read more

$346.50 USD

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
... Read more
Code Warriors

NSA's Codebreakers and the Secret Intelligence War Against the Soviet Union

by Stephen Budiansky ...

A sweeping, in-depth history of NSA, whose famous “cult of silence” has left the agency shrouded in mystery for decadesThe National Security Agency was born out of the legendary codebreaking programs of World War II that cracked the famed Enigma machine and other German and Japanese codes, thereby turning the tide of Allied victory. In the postwar years, as the United States developed a new enemy ... Read more

Was $12.99 USD Now $4.99 USD

A sweeping, in-depth history of NSA, whose famous “cult of silence” has left the agency shrouded in mystery for decadesThe National Security Agency was born out of the legendary codebreaking programs of World War II that cracked the famed Enigma machine and other German and Japanese codes, thereby turning the tide of Allied victory. In the postwar years, as the United States developed a new enemy
... Read more
Logic: a Brief Course

by Daniele Mundici ...

Series series Mathematics and Statistics (R0)
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts ... Read more

$44.54 USD

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts
... Read more
The Art of Logic in an Illogical World

by Eugenia Cheng ...

**How both logical and emotional reasoning can help us live better in our post-truth world “Advanced mathematics could make a meaningful contribution to creating a better society. . . this book is proof it can.” —*Guardian ***In a world where fake news stories change election outcomes, has rationality become futile? In* The Art of Logic in an Illogical World*, Eugenia Cheng throws a lifeline to ... Read more

$14.99 USD

**How both logical and emotional reasoning can help us live better in our post-truth world “Advanced mathematics could make a meaningful contribution to creating a better society. . . this book is proof it can.” —*Guardian ***In a world where fake news stories change election outcomes, has rationality become futile? In* The Art of Logic in an Illogical World*, Eugenia Cheng throws a lifeline to
... Read more
Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind: by Charles Lutwidge Dodgson, alias Lewis Carroll

Exploring Mathematics and Logic Through Literature

by Lewis Carroll ...

In "Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind," Lewis Carroll, the Victorian polymath renowned for his contributions to literature and mathematics, offers readers a fascinating confluence of logic and playful reasoning. This collection showcases Carroll's pioneering exploration of symbolic logic, employing a whimsical yet precise literary style that ... Read more

Was $1.99 USD Now $0.99 USD or Free with Kobo Plus

In "Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind," Lewis Carroll, the Victorian polymath renowned for his contributions to literature and mathematics, offers readers a fascinating confluence of logic and playful reasoning. This collection showcases Carroll's pioneering exploration of symbolic logic, employing a whimsical yet precise literary style that
... Read more
Gödel's Proof

by Ernest Nagel, James R Newman, Douglas R. Hofstadter ...

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in ... Read more

$11.69 USD or Free with Kobo Plus

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in
... Read more
Descartes' Error

Emotion, Reason, and the Human Brain

by Antonio Damasio ...

**"An ambitious and meticulous foray into the nature of being." -- The Boston GlobeA landmark exploration of the relationship between emotion and reason**Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain ... Read more

$13.99 USD

**"An ambitious and meticulous foray into the nature of being." -- The Boston GlobeA landmark exploration of the relationship between emotion and reason**Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain
... Read more
How to Solve It

A New Aspect of Mathematical Method

by G. Polya ...

Series series Princeton Science Library
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 ... Read more

$14.30 USD

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
... Read more
Proofiness

How You're Being Fooled by the Numbers

by Charles Seife ...

The bestselling author of Zero shows how mathematical misinformation pervades-and shapes-our daily lives.According to MSNBC, having a child makes you stupid. You actually lose IQ points. Good Morning America has announced that natural blondes will be extinct within two hundred years. Pundits estimated that there were more than a million demonstrators at a tea party rally in Washington, D.C., even ... Read more

$6.99 USD

The bestselling author of Zero shows how mathematical misinformation pervades-and shapes-our daily lives.According to MSNBC, having a child makes you stupid. You actually lose IQ points. Good Morning America has announced that natural blondes will be extinct within two hundred years. Pundits estimated that there were more than a million demonstrators at a tea party rally in Washington, D.C., even
... Read more
Logic

A Very Short Introduction

by Graham Priest ...

Series series Very Short Introductions
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 ... Read more

$7.19 USD

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
... Read more
The Proof in the Code

How a Truth Machine Is Transforming Math and AI

by Kevin Hartnett ...

“The most interesting book I’ve ever read about math.” —Kevin Roose, New York Times tech columnist and co-host of the Hard Fork podcastThe Proof in the Code tells the inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Le... ... Read more

$15.99 USD

“The most interesting book I’ve ever read about math.” —Kevin Roose, New York Times tech columnist and co-host of the Hard Fork podcastThe Proof in the Code tells the inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Le...
... Read more
Logic

by Wilfrid Hodges ...

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material ... Read more

$11.42 USD

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material
... Read more
Introducción a la lógica

by Mauricio Beuchot ...

En este libro, de índole introductoria, el autor expone lo fundamental y básico de tres aspectos de la lógica formal: 1) la lógica clásica, de corte aristotélico; 2) la lógica simbólica o lógica matemática, y 3) la historia de la lógica. La lógica clásica sigue siendo ala mejor introducción al estudio de la lógica, pues da un acceso muy intuitivo a la lógica formal, que después puede perfectamente ... Read more

$3.99 USD or Free with Kobo Plus

En este libro, de índole introductoria, el autor expone lo fundamental y básico de tres aspectos de la lógica formal: 1) la lógica clásica, de corte aristotélico; 2) la lógica simbólica o lógica matemática, y 3) la historia de la lógica. La lógica clásica sigue siendo ala mejor introducción al estudio de la lógica, pues da un acceso muy intuitivo a la lógica formal, que después puede perfectamente
... Read more
Logos: Logical Religion Unleashed

by Steve Madison ...

Wouldn’t you want a religion that every logician, mathematician, philosopher, and scientist on earth could embrace, a religion fully consistent with all the points made by Kurt Gödel when he listed the 14 key religious principles he accepted? That religion already exists. It’s called ontological mathematics, predicated on the principle of sufficient reason and Occam’s razor, and constitutes an a ... Read more

$5.66 USD

Wouldn’t you want a religion that every logician, mathematician, philosopher, and scientist on earth could embrace, a religion fully consistent with all the points made by Kurt Gödel when he listed the 14 key religious principles he accepted? That religion already exists. It’s called ontological mathematics, predicated on the principle of sufficient reason and Occam’s razor, and constitutes an a
... Read more
Build a Mathematical Mind - Even If You Think You Can't Have One

Become a Pattern Detective. Boost Your Critical and Logical Thinking Skills.

by Albert Rutherford ...

Would you like to be a proficient mathematician… without using numbers?There is so much more to math than geometry and calculus! It is present in almost every life aspect, from improving your communication skills to how to fit your luggage into your car.Did you always hate math because you couldn’t understand complex formulas?Don’t let a few equations or a bad teacher deter you from building a ... Read more

$4.49 USD or Free with Kobo Plus

Would you like to be a proficient mathematician… without using numbers?There is so much more to math than geometry and calculus! It is present in almost every life aspect, from improving your communication skills to how to fit your luggage into your car.Did you always hate math because you couldn’t understand complex formulas?Don’t let a few equations or a bad teacher deter you from building a
... Read more
The GCHQ Puzzle Book

Perfect for anyone who likes a good headscratcher

by GCHQ ...

Sharpen your mind to beat the smartest brains in Britain with the original official GCHQ puzzle bookWould GCHQ recruit you? Pit your wits against the people who cracked Enigma in the official puzzle book from Britain's top secret intelligence and security organisationOver the years, their codebreakers have helped keep our country safe, from the Bletchley Park breakthroughs of WWII to the modern ... Read more

$12.95 USD

Sharpen your mind to beat the smartest brains in Britain with the original official GCHQ puzzle bookWould GCHQ recruit you? Pit your wits against the people who cracked Enigma in the official puzzle book from Britain's top secret intelligence and security organisationOver the years, their codebreakers have helped keep our country safe, from the Bletchley Park breakthroughs of WWII to the modern
... Read more
An Introduction to Non-Classical Logic

From If to Is

by Graham Priest ...

Series series Cambridge Introductions to Philosophy
This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. ... Read more

$39.14 USD

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1.
... Read more
Geekspeak

Why Life + Mathematics = Happiness

by Graham Tattersall ...

The quirky offspring of ‘QI’ and ‘Freakonomics’, ‘Geekspeak’ melds ingenious statistical analysis with edifying trivia to explain away some curious facts of life.Curiosity is our human birthright, and destiny. As a species we are to prone to think, ruminate, reflect, cogitate, deliberate and philosophise. We do all these things, and why? To explain away the world around us, to find solace in ... Read more

$0.99 USD

The quirky offspring of ‘QI’ and ‘Freakonomics’, ‘Geekspeak’ melds ingenious statistical analysis with edifying trivia to explain away some curious facts of life.Curiosity is our human birthright, and destiny. As a species we are to prone to think, ruminate, reflect, cogitate, deliberate and philosophise. We do all these things, and why? To explain away the world around us, to find solace in
... Read more
Miscellaneous Pieces

by Carroll Lewis ...

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping ... Read more

$4.49 USD

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping
... Read more
Introducing Infinity

A Graphic Guide

by Brian Clegg ...

Series series Graphic Guides
Infinity is a profoundly counter-intuitive and brain-twisting subject that has inspired some great thinkers – and provoked and shocked others.The ancient Greeks were so horrified by the implications of an endless number that they drowned the man who gave away the secret. And a German mathematician was driven mad by the repercussions of his discovery of transfinite numbers.Brian Clegg and Oliver ... Read more

$4.67 USD

Infinity is a profoundly counter-intuitive and brain-twisting subject that has inspired some great thinkers – and provoked and shocked others.The ancient Greeks were so horrified by the implications of an endless number that they drowned the man who gave away the secret. And a German mathematician was driven mad by the repercussions of his discovery of transfinite numbers.Brian Clegg and Oliver
... Read more
Mathematics and the Roots of Postmodern Thought

by Vladimir Tasic ...

This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place ... Read more

$38.87 USD

This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place
... Read more
Taking Sudoku Seriously

The Math Behind the World's Most Popular Pencil Puzzle

by Jason Rosenhouse, Laura Taalman ...

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics. How many Sudoku solution squares are there? What shapes other than three-by-three blocks can serve as acceptable Sudoku regions? What is the fewest number of starting clues a ... Read more

$33.20 USD

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics. How many Sudoku solution squares are there? What shapes other than three-by-three blocks can serve as acceptable Sudoku regions? What is the fewest number of starting clues a
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Logic eBooks

Show: