Rakuten Kobo

The Proof in the Code

How a Truth Machine Is Transforming Math and AI

de 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 ... Leer más

$15.99 USD

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
... Leer más
Can You Solve My Problems?

Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles

de Alex Bellos ...

Series 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 ... Leer más

$10.69 USD

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
... Leer más
Mathe kompakt für Dummies

de 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 ... Leer más

$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
... Leer más
Why Is There Philosophy of Mathematics At All?

de Ian Hacking ...

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both ... Leer más

$28.69 USD

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both
... Leer más
Mathematical Logic

On Numbers, Sets, Structures, and Symmetry

de 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 ... Leer más

$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
... Leer más
Build a Mathematical Mind - Even If You Think You Can't Have One

de 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 ... Leer más

$4.99 USD o gratis con 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
... Leer más
Gödel's Proof

de 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 ... Leer más

$12.99 USD o gratis con 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
... Leer más
Descartes' Error

Emotion, Reason, and the Human Brain

de 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 ... Leer más

$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
... Leer más
How to Solve It

A New Aspect of Mathematical Method

de 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 ... Leer más

$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
... Leer más
How to Bake Pi

An Edible Exploration of the Mathematics of Mathematics

de 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, ... Leer más

$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,
... Leer más
Code Warriors

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

de 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 ... Leer más

$12.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
... Leer más
Proofiness

How You're Being Fooled by the Numbers

de 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 ... Leer más

$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
... Leer más
The Art of Logic in an Illogical World

de 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 ... Leer más

Antes $16.99 USD Ahora $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
... Leer más
Logic

A Very Short Introduction

de 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 ... Leer más

$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
... Leer más
Unauthorized Access

The Crisis in Online Privacy and Security

de 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 ... Leer más

Gratis

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
... Leer más
Mathematical Aspects of Logic Programming Semantics

de Pascal Hitzler, Anthony Seda ...

Series series Chapman & Hall/CRC Studies in Informatics Series
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance ... Leer más

Gratis

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance
... Leer más
Puzzling Adventures

Tales of Strategy, Logic, and Mathematical Skill

de 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, ... Leer más

$11.69 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,
... Leer más
Tractatus Logico-Philosophicus

de 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 ... Leer más

$0.99 USD o gratis con 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
... Leer más
Journey to the Edge of Reason

The Life of Kurt Gödel

de 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 ... Leer más

$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
... Leer más
Unequal

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

de 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 ... Leer más

$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
... Leer más
Logic

de 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 ... Leer más

$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
... Leer más
Burn Math Class

And Reinvent Mathematics for Yourself

de 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 ... Leer más

$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
... Leer más
Advances in Proof-Theoretic Semantics

Edición de 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, ... Leer más

Gratis

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,
... Leer más
What Is Mathematics? The Greatest Detective Story Never Told

de 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 ... Leer más

$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
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Lógica

Mostrar: