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

$15.99 USD

PRE-ORDER

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
Secrets to Solving Multiple Choice Questions in Competitive Exams

A Guide to Efficient Study Habits and Test-Taking Skills

by Budhi Sagar ...

Book Overview: "Secrets to Solving Multiple Choice Questions in Competitive Exams""Secrets to Solving Multiple Choice Questions in Competitive Exams" by Budhi Sagar Tools offers a comprehensive guide designed to empower students to excel in competitive exams. This book presents essential strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized ... Read more

$3.99 USD or Free with Kobo Plus

Book Overview: "Secrets to Solving Multiple Choice Questions in Competitive Exams""Secrets to Solving Multiple Choice Questions in Competitive Exams" by Budhi Sagar Tools offers a comprehensive guide designed to empower students to excel in competitive exams. This book presents essential strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized
... Read more
Mathe kompakt für Dummies

by Mark Zegarelli ...

Series series Für Dummies
Mathematik ist nicht jedermanns Sache und oft hapert es schon an den Grundlagen. Frei nach dem Motto "Einst gelernt, doch längst vergessen" bereiten oft gerade die einfachen Fragestellungen Probleme. Wie viel Prozent sind das nochmal? Wie war das doch gleich mit der Bruchrechnung und wie berechnet man eigentlich den Flächeninhalt eines Dreiecks? Mark Zegarelli erklärt es Ihnen, einfach und ... Read more

$10.99 USD

Mathematik ist nicht jedermanns Sache und oft hapert es schon an den Grundlagen. Frei nach dem Motto "Einst gelernt, doch längst vergessen" bereiten oft gerade die einfachen Fragestellungen Probleme. Wie viel Prozent sind das nochmal? Wie war das doch gleich mit der Bruchrechnung und wie berechnet man eigentlich den Flächeninhalt eines Dreiecks? Mark Zegarelli erklärt es Ihnen, einfach und
... 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.99 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
Mathematical Logic

On Numbers, Sets, Structures, and Symmetry

by Roman Kossak ...

Series series Philosophy and Religion (R0)
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is ... Read more

$58.49 USD

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is
... 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

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

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

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

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

$11.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
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
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

Was $16.99 USD Now $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
Unauthorized Access

The Crisis in Online Privacy and Security

by Robert Sloan, Richard Warner ...

Going beyond current books on privacy and security, this book proposes specific solutions to public policy issues pertaining to online privacy and security. Requiring no technical or legal expertise, it provides a practical framework to address ethical and legal issues. The authors explore the well-established connection between social norms, privacy, security, and technological structure. They ... Read more

Free

Going beyond current books on privacy and security, this book proposes specific solutions to public policy issues pertaining to online privacy and security. Requiring no technical or legal expertise, it provides a practical framework to address ethical and legal issues. The authors explore the well-established connection between social norms, privacy, security, and technological structure. They
... Read more
Puzzling Adventures

Tales of Strategy, Logic, and Mathematical Skill

by Dennis E. Shasha ...

Hours of recreational reckoning.Collected and enhanced from Dennis Shasha's popular Scientific American column, here are thirty-six of the most innovative and emotive mathematical puzzles ever to appear in its pages. Edgy, challenging and representing the ultimate in recreational mathematical games, Puzzling Adventures dares the reader to work out the logic underlying venture fund investments, ... Read more

$11.99 USD

Hours of recreational reckoning.Collected and enhanced from Dennis Shasha's popular Scientific American column, here are thirty-six of the most innovative and emotive mathematical puzzles ever to appear in its pages. Edgy, challenging and representing the ultimate in recreational mathematical games, Puzzling Adventures dares the reader to work out the logic underlying venture fund investments,
... 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

$14.99 USD

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

$0.99 USD 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
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

$18.99 USD

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
Burn Math Class

And Reinvent Mathematics for Yourself

by Jason Wilkes ...

A manifesto for a mathematical revolutionForget everything you've been taught about math. In Burn Math Class, Jason Wilkes takes the traditional approach to how we learn math -- with its unwelcoming textbooks, unexplained rules, and authoritarian assertions-and sets it on fire.Focusing on how mathematics is created rather than on mathematical facts, Wilkes teaches the subject in a way that ... Read more

$20.99 USD

A manifesto for a mathematical revolutionForget everything you've been taught about math. In Burn Math Class, Jason Wilkes takes the traditional approach to how we learn math -- with its unwelcoming textbooks, unexplained rules, and authoritarian assertions-and sets it on fire.Focusing on how mathematics is created rather than on mathematical facts, Wilkes teaches the subject in a way that
... 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

$12.79 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
Advances in Proof-Theoretic Semantics

Edited by Thomas Piecha, Peter Schroeder-Heister ...

Series series Mathematics and Statistics (R0)
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... Read more

Free

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory,
... Read more
What Is Mathematics? The Greatest Detective Story Never Told

by Dr. Thomas Stark ...

So, you know what mathematics is, right? Well, if you do, you’re a smarter person than Nobel laureates Albert Einstein and Eugene Wigner, who were baffled by what mathematics is and how it relates to science and the world. Wigner wrote a famous paper entitled “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” No scientist has ever explained why mathematics is so uncannily ... Read more

$8.69 USD

So, you know what mathematics is, right? Well, if you do, you’re a smarter person than Nobel laureates Albert Einstein and Eugene Wigner, who were baffled by what mathematics is and how it relates to science and the world. Wigner wrote a famous paper entitled “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” No scientist has ever explained why mathematics is so uncannily
... Read more
The Language Lover's Puzzle Book

A World Tour of Languages and Alphabets in 100 Amazing Puzzles

by Alex Bellos ...

Series series Alex Bellos Puzzle Books
100 wonder-filled word puzzles that thrill and tantalize with the beauty, magic, and weirdness of world languageWhether you’re a crossword solver, cryptogram fan, Scrabble addict, or Sudoku savant, The Language Lover’s Puzzle Book is guaranteed to tease your brain and twist your tongue. Puzzle master Alex Bellos begins in Japan, where we can observe some curious counting:boru niko = two ballstsuna ... Read more

$11.99 USD

100 wonder-filled word puzzles that thrill and tantalize with the beauty, magic, and weirdness of world languageWhether you’re a crossword solver, cryptogram fan, Scrabble addict, or Sudoku savant, The Language Lover’s Puzzle Book is guaranteed to tease your brain and twist your tongue. Puzzle master Alex Bellos begins in Japan, where we can observe some curious counting:boru niko = two ballstsuna
... Read more
Lewis Carroll in Numberland

by Robin Wilson ...

“A fine mathematical biography.”—John Allen Paulos, New York Times Book ReviewJust when we thought we knew everything about Lewis Carroll, here comes this “insightful . . . scholarly . . . serious” (John Butcher, American Scientist) biography that will appeal to Alice fans everywhere. Fascinated by the inner life of Charles Lutwidge Dodgson, Robin Wilson, a Carroll scholar and a noted mathematics ... Read more

$15.99 USD

“A fine mathematical biography.”—John Allen Paulos, New York Times Book ReviewJust when we thought we knew everything about Lewis Carroll, here comes this “insightful . . . scholarly . . . serious” (John Butcher, American Scientist) biography that will appeal to Alice fans everywhere. Fascinated by the inner life of Charles Lutwidge Dodgson, Robin Wilson, a Carroll scholar and a noted mathematics
... 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: