Matematisk logik

Winner of the Pulitzer Prize A metaphorical fugue on minds and machines in the spirit of Lewis Carroll Douglas Hofstadter's book is concerned directly with the nature of "maps" or links between formal systems. However, according to Hofstadter, the...

Läs mer »

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transit...

Läs mer »

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

Läs mer »

'An invaluable companion for anyone who wants a deep understanding of what's under the hood of often inscrutable machines' Melanie Mitchell A rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explo...

Läs mer »

Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joyful journey through the world of abstract mathematics into category theory will demystify mathematic...

Läs mer »

A WATERSTONES BEST BOOK OF 2023 A NEW SCIENTIST BEST BOOK OF 2023 WINNER OF THE LA TIMES SCIENCE & TECHNOLOGY 2023 BOOK PRIZE 'A generous tour of mathematics for anyone whose instincts tend less towards "Just tell me the answer" and more towards "...

Läs mer »

'Another terrific book by Rob Eastaway' SIMON SINGH 'A delightfully accessible guide to how to play with numbers' HANNAH FRY How many cats are there in the world? What's the chance of winning the lottery twice? And just how long does it take to co...

Läs mer »

'Be warned: cracking puzzles releases a very addictive drug.' - Marcus du Sautoy Have you ever wanted to be a puzzle pro or logical luminary? Well, look no further! The perfect way to liven up your day, The Ultimate Mathematical Challenge has over...

Läs mer »

This text is the fifth and final in the series of educational books written by Israel Gelfand with his colleagues for high school students. These books cover the basics of mathematics in a clear and simple format - the style Gelfand was known for ...

Läs mer »

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of class...

Läs mer »

"Inspiring and informative?deserves to be widely read." -Wall Street Journal "This fun book offers a philosophical take on number systems and revels in the beauty of math." -Science News Because we have ten fingers, grouping by ten seems natural, ...

Läs mer »

This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, as well as its extension to the notions of human ...

Läs mer »

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "t...

Läs mer »

Few mathematical results capture the imagination like Georg Cantor's theory of infinity. Bridging the gap between technical accounts of mathematical foundations and popular accounts of logic, this book conveys to the novice the big ideas in the ri...

Läs mer »

Uncover the language of our universe - numbers - in this wide-ranging whistle-stop tour of the history and majesty of mathematics. Our world simply wouldn't function if we didn't have numbers. But where do they come from? Why do we cut cake the wr...

Läs mer »

Give the joy of a challenge this Christmas with fiendishly difficult puzzles 'Fiendishly tricky' Daily Mail With their first bestselling book, The GCHQ Puzzle Book, the UK's intelligence and security experts tested us with puzzles, codes and real-...

Läs mer »

Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process,...

Läs mer »

How do you remember more and forget less? How can you earn more and become more creative just by moving house? And how do you pack a car boot most efficiently? This is your shortcut to the art of the shortcut. Mathematics is full of better ways of...

Läs mer »

Describes recent achievements and classical results of computational complexity theory, including interactive proofs, PCP, derandomization, and quantum computation. It can be used as a reference, for self-study, or as a beginning graduate textbook...

Läs mer »

A Waterstones Best Popular Science Book of 2023 'Delightfully clear and vivid to read...A splendid book! Philip Pullman 'Absolutely fascinating' James O'Brien 'An exceptional book - readable, funny and more needed than ever' Dr Chris van Tulleken,...

Läs mer »

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt ...

Läs mer »