Rakuten Kobo

The Proof in the Code

How a Truth Machine Is Transforming Math and AI

by Kevin Hartnett ...

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 Leo de Moura. Then an unlikely crew of mathematical misfits caught wind of it and began to adopt it with messianic zeal. Their goal was to create a truth machine that could ... Read more

$21.99 CAD

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 Leo de Moura. Then an unlikely crew of mathematical misfits caught wind of it and began to adopt it with messianic zeal. Their goal was to create a truth machine that could
... Read more
Build a Mathematical Mind - Even If You Think You Can't Have One

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

$7.99 CAD 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
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 CAD

**"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
Fermat’s Last Theorem

by Simon Singh ...

‘I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.’It was with these words, written in the 1630s, that Pierre de Fermat intrigued and infuriated the mathematics community. For over 350 years, proving Fermat’s Last Theorem was the most notorious unsolved mathematical problem, a puzzle whose basics most children could grasp but whose solution ... Read more

$11.99 CAD

‘I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.’It was with these words, written in the 1630s, that Pierre de Fermat intrigued and infuriated the mathematics community. For over 350 years, proving Fermat’s Last Theorem was the most notorious unsolved mathematical problem, a puzzle whose basics most children could grasp but whose solution
... 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

$22.79 CAD

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
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

$17.59 CAD 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
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

$19.99 CAD

**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
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

$10.99 CAD

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.59 CAD

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
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

$10.99 CAD

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
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 Times**What 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

$16.99 CAD

**One of the world's most creative mathematicians finds the meaning of mathematics in the kitchen  “Whimsical…rigorous and insightful.” —New York Times**What 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
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

$14.99 CAD

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
Maths on the Back of an Envelope

Clever ways to (roughly) calculate anything

by Rob Eastaway ...

‘Another terrific book by Rob Eastaway’ SIMON SINGH‘A delightfully accessible guide to how to play with numbers’ HANNAH FRYHow many cats are there in the world?What's the chance of winning the lottery twice?And just how long does it take to count to a million?Learn how to tackle tricky maths problems with nothing but the back of an envelope, a pencil and some good old-fashioned brain power.Join ... Read more

$14.99 CAD

‘Another terrific book by Rob Eastaway’ SIMON SINGH‘A delightfully accessible guide to how to play with numbers’ HANNAH FRYHow many cats are there in the world?What's the chance of winning the lottery twice?And just how long does it take to count to a million?Learn how to tackle tricky maths problems with nothing but the back of an envelope, a pencil and some good old-fashioned brain power.Join
... 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

$48.79 CAD

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
Tractatus Logico-Philosophicus

by Ludwig Wittgenstein, Steppenwolf Press ...

Ludwig Wittgenstein’s Tractatus Logico-Philosophicus is not just a book—it’s an intellectual revolution. Written with unmatched clarity and precision, this seminal work challenges everything we think we know about language, logic, and reality itself. With each page, Wittgenstein pulls back the curtain on the hidden structures of our thoughts, offering a view of the world that is as startling as it ... Read more

$1.99 CAD or Free with Kobo Plus

Ludwig Wittgenstein’s Tractatus Logico-Philosophicus is not just a book—it’s an intellectual revolution. Written with unmatched clarity and precision, this seminal work challenges everything we think we know about language, logic, and reality itself. With each page, Wittgenstein pulls back the curtain on the hidden structures of our thoughts, offering a view of the world that is as startling as it
... Read more
Alan M. Turing

Centenary Edition

by Sara Turing, John Turing ...

'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since ... Read more

$19.19 CAD

'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since
... Read more
Fast Math: Learn the Secrets of Mental Math

By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators

by Tim Ander ...

Think Fast with Vedic Math Secrets and Mental Calculation Tricks!When you read Fast Math, you’ll discover Vedic Math Techniques for mastering basic functions:AdditionSubtractionMultiplicationDivisionand so much more!With this fascinating guide, you can quickly and easily determine the square roots of perfect square numbers – and perform many other feats of mental gymnastics.These Vedic secrets ... Read more

$4.99 CAD or Free with Kobo Plus

Think Fast with Vedic Math Secrets and Mental Calculation Tricks!When you read Fast Math, you’ll discover Vedic Math Techniques for mastering basic functions:AdditionSubtractionMultiplicationDivisionand so much more!With this fascinating guide, you can quickly and easily determine the square roots of perfect square numbers – and perform many other feats of mental gymnastics.These Vedic secrets
... 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

$6.79 CAD 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
Journey to the Edge of Reason

The Life of Kurt Gödel

by Stephen Budiansky ...

The first major biography written for a general audience 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 ... Read more

$21.99 CAD

The first major biography written for a general audience 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
... Read more
Unequal

The Math of When Things Do and Don't Add Up

by Eugenia Cheng ...

Why the familiar equal sign is a gateway into math’s—and humanity’s—most profound questions  "Eugenia Cheng has opened up my mind to the wondrous world of pure mathematics in a way that I never thought was possible." ―Willow Smith, singer and actress  A New Scientist Best Book of the Year **Math is famous for its equations: 1 + 1 = 2, a^2 + b^2 = c^2, or y = mx + b. It can seem like that’s all ... Read more

$24.99 CAD

Why the familiar equal sign is a gateway into math’s—and humanity’s—most profound questions  "Eugenia Cheng has opened up my mind to the wondrous world of pure mathematics in a way that I never thought was possible." ―Willow Smith, singer and actress  A New Scientist Best Book of the Year **Math is famous for its equations: 1 + 1 = 2, a^2 + b^2 = c^2, or y = mx + b. It can seem like that’s all
... 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

$4.06 CAD

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
Logic Made Easy

How to Know When Language Deceives You

by Deborah J. Bennett ...

"The best introduction to logic you will find."—Martin Gardner"Professor Bennett entertains as she instructs," writes Publishers Weekly about the penetrating yet practical Logic Made Easy. This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic ... Read more

$16.69 CAD

"The best introduction to logic you will find."—Martin Gardner"Professor Bennett entertains as she instructs," writes Publishers Weekly about the penetrating yet practical Logic Made Easy. This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic
... Read more
Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind

by Charles Lutwidge Dodgson, alias Lewis Carroll

by Lewis Carroll ...

This carefully crafted ebook: “Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind” is formatted for your eReader with a functional and detailed table of contents.Lewis Carroll wrote several mathematics books. He was mainly interested in using logic diagrams as a pedagogical tool.Symbolic Logic, first published in 1896, contains literally dozens of puzzles. He ... Read more

$0.99 CAD

This carefully crafted ebook: “Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind” is formatted for your eReader with a functional and detailed table of contents.Lewis Carroll wrote several mathematics books. He was mainly interested in using logic diagrams as a pedagogical tool.Symbolic Logic, first published in 1896, contains literally dozens of puzzles. He
... Read more
An Introduction to Critical Thinking and Creativity

Think More, Think Better

by Joe Y. F. Lau ...

A valuable guide on creativity and critical thinking to improve reasoning and decision-making skillsCritical thinking skills are essential in virtually any field of study or practice where individuals need to communicate ideas, make decisions, and analyze and solve problems. An Introduction to Critical Thinking and Creativity: Think More, Think Better outlines the necessary tools for readers to ... Read more

$94.99 CAD

A valuable guide on creativity and critical thinking to improve reasoning and decision-making skillsCritical thinking skills are essential in virtually any field of study or practice where individuals need to communicate ideas, make decisions, and analyze and solve problems. An Introduction to Critical Thinking and Creativity: Think More, Think Better outlines the necessary tools for readers to
... 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: