Rakuten Kobo

The Proof in the Code

How a Truth Machine Is Transforming Math and AI

par 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 ... En savoir plus

$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
... En savoir plus
A Dictionary of Logic

par Thomas Macaulay Ferguson, Graham Priest ...

Collections series Oxford Quick Reference Online
A Dictionary of Logic expands on Oxford's coverage of the topic in works such as The Oxford Dictionary of Philosophy, The Concise Oxford Dictionary of Mathematics, and A Dictionary of Computer Science. Featuring more than 450 entries primarily concentrating on technical terminology, the history of logic, the foundations of mathematics, and non-classical logic, this dictionary is an essential ... En savoir plus

$9.19 CAD

A Dictionary of Logic expands on Oxford's coverage of the topic in works such as The Oxford Dictionary of Philosophy, The Concise Oxford Dictionary of Mathematics, and A Dictionary of Computer Science. Featuring more than 450 entries primarily concentrating on technical terminology, the history of logic, the foundations of mathematics, and non-classical logic, this dictionary is an essential
... En savoir plus
Can You Solve My Problems?

Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles

par Alex Bellos ...

Collections series Alex Bellos Puzzle Books
Puzzle lovers, rejoice!Bestselling math writer Alex Bellos has a challenge for you: 125 of the world’s best brainteasers from the last two millennia.Armed with logic alone, you’ll detect counterfeit coins, navigate river crossings, and untangle family trees. Then—with just a dash of high school math—you’ll tie a rope around the Earth, match wits with a cryptic wizard, and use four 4s to create ... En savoir plus

$13.59 CAD

Puzzle lovers, rejoice!Bestselling math writer Alex Bellos has a challenge for you: 125 of the world’s best brainteasers from the last two millennia.Armed with logic alone, you’ll detect counterfeit coins, navigate river crossings, and untangle family trees. Then—with just a dash of high school math—you’ll tie a rope around the Earth, match wits with a cryptic wizard, and use four 4s to create
... En savoir plus
Build a Mathematical Mind - Even If You Think You Can't Have One

par 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 ... En savoir plus

$7.99 CAD ou Gratuit avec 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
... En savoir plus
Descartes' Error

Emotion, Reason, and the Human Brain

par 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 ... En savoir plus

$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
... En savoir plus
Fermat’s Last Theorem

par 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 ... En savoir plus

$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
... En savoir plus
How to Solve It

A New Aspect of Mathematical Method

par G. Polya ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Gödel's Proof

par 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 ... En savoir plus

$17.59 CAD ou Gratuit avec 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
... En savoir plus
The Art of Logic in an Illogical World

par 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 ... En savoir plus

$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
... En savoir plus
Proofiness

How You're Being Fooled by the Numbers

par 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 ... En savoir plus

$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
... En savoir plus
Logic

A Very Short Introduction

par Graham Priest ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Logic

par 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 ... En savoir plus

$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
... En savoir plus
How to Bake Pi

An Edible Exploration of the Mathematics of Mathematics

par 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, ... En savoir plus

$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,
... En savoir plus
Code Warriors

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

par 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 ... En savoir plus

$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
... En savoir plus
Maths on the Back of an Envelope

Clever ways to (roughly) calculate anything

par 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 ... En savoir plus

$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
... En savoir plus
An Introduction to Non-Classical Logic

From If to Is

par Graham Priest ...

Collections 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. ... En savoir plus

$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.
... En savoir plus
Tractatus Logico-Philosophicus

par 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 ... En savoir plus

$1.99 CAD ou Gratuit avec 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
... En savoir plus
Alan M. Turing

Centenary Edition

par 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 ... En savoir plus

$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
... En savoir plus
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

par 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 ... En savoir plus

$4.99 CAD ou Gratuit avec 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
... En savoir plus
Journey to the Edge of Reason

The Life of Kurt Gödel

par 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 ... En savoir plus

$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
... En savoir plus
Build a Mathematical Mind - Even If You Think You Can't Have One

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

par 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 ... En savoir plus

$6.79 CAD ou Gratuit avec 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
... En savoir plus
Godel's Mistake

The Role of Meaning in Mathematics

par 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 ... En savoir plus

$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
... En savoir plus
Unequal

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

par 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 ... En savoir plus

$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
... En savoir plus
Logic Made Easy

How to Know When Language Deceives You

par 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 ... En savoir plus

$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
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Logique

Afficher :