Rakuten Kobo

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 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, ... 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 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,
... Leer más
Godel's Mistake

The Role of Meaning in Mathematics

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

$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
... Leer más
Complexity, Logic, and Recursion Theory

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

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

Antes $12.99 USD Ahora $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
... Leer más
Logic: a Brief Course

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

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

$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
Shadows of the Mind: A Search for the Missing Science of Consciousness

de Roger Penrose ...

In Shadows of the Mind: A Search for the Missing Science of Consciousness, renowned mathematician and physicist Roger Penrose presents a bold and thought-provoking exploration of the human mind. Building on ideas from his earlier work, Penrose challenges the widely held belief that consciousness is simply the result of computational processes in the brain.Drawing on mathematics, physics, and ... Leer más

$8.37 USD o gratis con Kobo Plus

In Shadows of the Mind: A Search for the Missing Science of Consciousness, renowned mathematician and physicist Roger Penrose presents a bold and thought-provoking exploration of the human mind. Building on ideas from his earlier work, Penrose challenges the widely held belief that consciousness is simply the result of computational processes in the brain.Drawing on mathematics, physics, and
... Leer más
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

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

Antes $1.99 USD Ahora $0.99 USD o gratis con 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
... 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

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

$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
... 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
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.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
... Leer más
The Proof in the Code

How a Truth Machine Is Transforming Math and AI

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

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

$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
... Leer más
Introducción a la lógica

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

$3.99 USD o gratis con 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
... Leer más
Logos: Logical Religion Unleashed

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

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

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

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.49 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
Geekspeak

Why Life + Mathematics = Happiness

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

$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
... Leer más
An Introduction to Non-Classical Logic

From If to Is

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

$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.
... Leer más
The GCHQ Puzzle Book

Perfect for anyone who likes a good headscratcher

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

$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
... Leer más
Mathematics and the Roots of Postmodern Thought

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

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

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

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

A Graphic Guide

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

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