Matematikens grunder

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 transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. Featuring over 150 new exercises and a new chapter on number theory, this new edition introduces students to the world of advanced mathematics through the mastery of proofs. The book begins with the basic concepts of logic and set theory to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for an analysis of techniques that can be used to build up complex proofs step by step, using detailed 'scratch work' sections to expose the machinery of proofs about numbers, sets, relations, and functions. Assuming no background beyond standard high school mathematics, this book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and, of course, mathematicians.

'Fascinating and immensely readable' Ian Stewart 'A charming tour through the realm of the very, very, very numerous, from the ancient world through to the distant future' Jordan Ellenberg, author of How Not to Be WrongWhat if, every time you wanted to write down 1,000,000, you had to draw a picture of a god? And what if that number were the biggest you had a symbol for? In ancient Egypt, those were the rules: anything bigger broke maths. Writing down some numbers is still beyond us today: try it with all the zeroes in a googolplex, or an outrageous alien number like FISH 7. Even harnessing every particle in the universe, you wouldn't come close. But that hasn't stopped us from hunting down these mind-bendingly big numbers and studying them.In Huge Numbers, mathematician and Numberphile presenter Richard Elwes shows how counting has shaped human thought. Whether recorded with notches carved on a tally stick, beads on an abacus, or electrical signals carrying binary code, it allows us to test the limits of mathematics over and over, breaking it down and putting it back together again.Come on a fascinating tour that spans continents and millennia, from the Mayan calendar to today's chatbots. You'll see that huge numbers are everywhere, expanding our horizons and powering our modern world.

This book stems from lectures on commutative algebra for 4th-year university students at two French universities (Paris and Rennes). At that level, students have already followed a basic course in linear algebra and are essentially fluent with the language of vector spaces over fields. The topics introduced include arithmetic of rings, modules, especially principal ideal rings and the classification of modules over such rings, Galois theory, as well as an introduction to more advanced topics such as homological algebra, tensor products, and algebraic concepts involved in algebraic geometry. More than 300 exercises will allow the reader to deepen his understanding of the subject. The book also includes 11 historical vignettes about mathematicians who contributed to commutative algebra.

*A Financial Times and Waterstones Book of the Year 2025* Many artists are unaware of the mathematics that bubble beneath their craft, while some consciously use it for inspiration. Our instincts might tell us that these two subjects are incompatible forces with nothing in common, but what if we’re wrong? Marcus du Sautoy, acclaimed mathematician and Simonyi Professor for the Public Understanding of Science at the University of Oxford, looks to art, music, design and literature to uncover the key mathematical structures that underpin both human creativity and the natural world.Blueprints takes us from the earliest stone circles to the modernist architecture of Le Corbusier, from Bach’s circular compositions to Radiohead’s disruptive soundscapes, and from Shakespeare’s hidden numerical clues to the Dada artists who embraced randomness. Instead of polar opposites we find a complementary relationship that spans a vast historical and geographic landscape.Whether we are searching for meaning in an abstract painting or deciphering poetry, there are blueprints everywhere: prime numbers, symmetry, fractals and the weirder worlds of Hamiltonian cycles and hyperbolic geometry. Nature similarly exploits these structures to achieve the wonders of our universe.In this innovative and delightfully bold exploration of creativity, Marcus explains how we make art, why a creative mindset is vital for discovering new mathematics and how a fundamental connection to the natural world intrinsically links these two subjects.‘Blueprints is an extraordinary book which shows us how mathematics and art are connected through structures. Du Sautoy shows us how to bridge the divide of science and the humanities and proves that we can only face and solve the big challenges of the twenty-first century if we go beyond the fear of pooling knowledge’ Hans Ulrich Obrist, Artistic Director, Serpentine Galleries

*A Financial Times and Waterstones Book of the Year 2025* Many artists are unaware of the mathematics that bubble beneath their craft, while some consciously use it for inspiration. Our instincts might tell us that these two subjects are incompatible forces with nothing in common, but what if we’re wrong? Marcus du Sautoy, acclaimed mathematician and Simonyi Professor for the Public Understanding of Science at the University of Oxford, looks to art, music, design and literature to uncover the key mathematical structures that underpin both human creativity and the natural world.Blueprints takes us from the earliest stone circles to the modernist architecture of Le Corbusier, from Bach’s circular compositions to Radiohead’s disruptive soundscapes, and from Shakespeare’s hidden numerical clues to the Dada artists who embraced randomness. Instead of polar opposites we find a complementary relationship that spans a vast historical and geographic landscape.Whether we are searching for meaning in an abstract painting or deciphering poetry, there are blueprints everywhere: prime numbers, symmetry, fractals and the weirder worlds of Hamiltonian cycles and hyperbolic geometry. Nature similarly exploits these structures to achieve the wonders of our universe.In this innovative and delightfully bold exploration of creativity, Marcus explains how we make art, why a creative mindset is vital for discovering new mathematics and how a fundamental connection to the natural world intrinsically links these two subjects.‘Blueprints is an extraordinary book which shows us how mathematics and art are connected through structures. Du Sautoy shows us how to bridge the divide of science and the humanities and proves that we can only face and solve the big challenges of the twenty-first century if we go beyond the fear of pooling knowledge’ Hans Ulrich Obrist, Artistic Director, Serpentine Galleries

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 and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy. In this new edition Graham Priest expands his discussion to cover the subjects of algorithms and axioms, and proofs in mathematics.ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, and enthusiasm to make interesting and challenging topics highly readable.

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 mathematical thought processes and help you develop your own thinking, with no formal mathematical background needed. The book brings abstract mathematical ideas down to earth using examples of social justice, current events, and everyday life - from privilege to COVID-19 to driving routes. The journey begins with the ideas and workings of abstract mathematics, after which you will gently climb toward more technical material, learning everything needed to understand category theory, and then key concepts in category theory like natural transformations, duality, and even a glimpse of ongoing research in higher-dimensional category theory. For fans of How to Bake Pi, this will help you dig deeper into mathematical concepts and build your mathematical background.

'Wooldridge is like the teacher you wish you'd had'GUARDIAN'This book is simply brilliant . . . I learned so much'SIR DAVID SPIEGELHALTER, UNIVERSITY OF CAMBRIDGE'Fresh, clever and playful'MATT RIDLEY, AUTHOR OF THE ORIGINS OF VIRTUE'Michael explains the complex, strategic structures of our world with masterful beauty'MILIND TAMBE, HARVARD UNIVERSITY'Effortlessly covers a broad swath of core ideas in game theory, with a sprinkle of British humour'EDITH ELKIND, NORTHWESTERN UNIVERSITY'A wonderful book'YOAV SHOHAM, STANFORD UNIVERSITY______A fascinating deep-dive into game theory, its history and its practical applications by award-winning expert on computer science and artificial intelligence.Most of us have some idea about game theory. Concepts like zero-sum games and the prisoner's dilemma crop up in films, novels and casual conversation, often as shorthand for cut-throat competition or inevitable betrayal. But game theory, the science behind these ideas, is widely misunderstood. All too often it's seen solely as the science of conflict and greed. In fact, this field has a lot to teach us about how to make a better world. It shows us just what it takes to enable cooperation and mutual benefit.This essential primer presents twenty one 'life lessons from game theory', which illustrate the key ideas in the field, and which are packed with real world examples: from overfishing in the Atlantic; to the Cuban Missile Crisis; to security measures at international airports; to advertising wars between major brands. This is a hopeful and practical book that highlights the value of game theory and provides a course correction for its integration into the real world.

'Wooldridge is like the teacher you wish you'd had' GUARDIAN'This book is simply brilliant . . . I learned so much' SIR DAVID SPIEGELHALTER, UNIVERSITY OF CAMBRIDGE'Fresh, clever and playful' MATT RIDLEY, AUTHOR OF THE ORIGINS OF VIRTUE'Michael explains the complex, strategic structures of our world with masterful beauty'MILIND TAMBE, HARVARD UNIVERSITY'Effortlessly covers a broad swath of core ideas in game theory, with a sprinkle of British humour'EDITH ELKIND, NORTHWESTERN UNIVERSITY'A wonderful book' YOAV SHOHAM, STANFORD UNIVERSITY______A fascinating deep-dive into game theory, its history and its practical applications by award-winning expert on computer science and artificial intelligence.Most of us have some idea about game theory. Concepts like zero-sum games and the prisoner's dilemma crop up in films, novels and casual conversation, often as shorthand for cut-throat competition or inevitable betrayal. But game theory, the science behind these ideas, is widely misunderstood. All too often it's seen solely as the science of conflict and greed. In fact, this field has a lot to teach us about how to make a better world. It shows us just what it takes to enable cooperation and mutual benefit.This essential primer presents twenty one 'life lessons from game theory', which illustrate the key ideas in the field, and which are packed with real world examples: from overfishing in the Atlantic; to the Cuban Missile Crisis; to security measures at international airports; to advertising wars between major brands. This is a hopeful and practical book that highlights the value of game theory and provides a course correction for its integration into the real world.

A NEW SCIENTIST BOOK OF THE YEAR'Clear, clever and friendly...even at her most whimsical, she is rigorous and insightful' ALEX BELLOS'Eugenia Cheng has humour, grace and a natural gift' DANIEL LEVITIN'Playful and deeply serious ... shows how exploring equality in maths may help the real world' NEW SCIENTISTWhen we see an equals sign, we usually see something clear cut: problem on one side, solution on the other. We might need to shuffle some things around - balance the equation - to get there, but it's all pretty clear cut...isn't it?As it turns out, between those parallel lines lies something far more exciting than questions and answers. An equals sign is an invitation to a mathematical playground of choice and abstraction. By opening your mind to different mathematical choices and perspectives, you can unlock far greater insight than you could have dreamed.Eugenia Cheng explores the rich and rewarding interplay between sameness and difference, and offers us a new way to see the world based on the choices and interpretations we make. A glorious celebration of mathematics, Unequal will change the way you think - in maths, and in life.

Methods of dimensionality reduction provide a way to understand and visualize the structure of complex data sets. Traditional methods like principal component analysis and classical metric multidimensional scaling suffer from being based on linear models. Until recently, very few methods were able to reduce the data dimensionality in a nonlinear way. However, since the late nineties, many new methods have been developed and nonlinear dimensionality reduction, also called manifold learning, has become a hot topic. New advances that account for this rapid growth are, e.g. the use of graphs to represent the manifold topology, and the use of new metrics like the geodesic distance. In addition, new optimization schemes, based on kernel techniques and spectral decomposition, have lead to spectral embedding, which encompasses many of the recently developed methods. This book describes existing and advanced methods to reduce the dimensionality of numerical databases. For each method, the description starts from intuitive ideas, develops the necessary mathematical details, and ends by outlining the algorithmic implementation. Methods are compared with each other with the help of different illustrative examples. The purpose of the book is to summarize clear facts and ideas about well-known methods as well as recent developments in the topic of nonlinear dimensionality reduction. With this goal in mind, methods are all described from a unifying point of view, in order to highlight their respective strengths and shortcomings. The book is primarily intended for statisticians, computer scientists and data analysts. It is also accessible to other practitioners having a basic background in statistics and/or computational learning, like psychologists (in psychometry) and economists.

*A Financial Times and Waterstones Book of the Year 2025* Many artists are unaware of the mathematics that bubble beneath their craft, while some consciously use it for inspiration. Our instincts might tell us that these two subjects are incompatible forces with nothing in common, but what if we’re wrong? Marcus du Sautoy, acclaimed mathematician and Simonyi Professor for the Public Understanding of Science at the University of Oxford, looks to art, music, design and literature to uncover the key mathematical structures that underpin both human creativity and the natural world.Blueprints takes us from the earliest stone circles to the modernist architecture of Le Corbusier, from Bach’s circular compositions to Radiohead’s disruptive soundscapes, and from Shakespeare’s hidden numerical clues to the Dada artists who embraced randomness. Instead of polar opposites we find a complementary relationship that spans a vast historical and geographic landscape.Whether we are searching for meaning in an abstract painting or deciphering poetry, there are blueprints everywhere: prime numbers, symmetry, fractals and the weirder worlds of Hamiltonian cycles and hyperbolic geometry. Nature similarly exploits these structures to achieve the wonders of our universe.In this innovative and delightfully bold exploration of creativity, Marcus explains how we make art, why a creative mindset is vital for discovering new mathematics and how a fundamental connection to the natural world intrinsically links these two subjects.‘Blueprints is an extraordinary book which shows us how mathematics and art are connected through structures. Du Sautoy shows us how to bridge the divide of science and the humanities and proves that we can only face and solve the big challenges of the twenty-first century if we go beyond the fear of pooling knowledge’ Hans Ulrich Obrist, Artistic Director, Serpentine Galleries

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 and machine consciousness.Additional insightful essays by Mauro D'Ariano, Federico Faggin, Ines Testoni, Giuseppe Vitiello and an introduction of Fabio Scardigli complete the book and illuminate different aspects of the debate.       Although from completely different points of view, all the authors seem to converge on the idea that it is almost impossible to have real "intelligence" without a form of "consciousness". In fact, consciousness, often conceived as an enigmatic "mirror" of reality (but is it really a mirror?), is a phenomenon under intense investigation by science and technology, particularly in recent decades. Where does this phenomenon originate from (in humans, and perhaps alsoin animals)? Is it reproducible on some "device"? Do we have a theory of consciousness today? Will we arrive to build thinking or conscious machines, as machine learning, or cognitive computing, seem to promise?These questions and other related issues are discussed in the pages of this work, which provides stimulating reading to both specialists and general readers.The Chapter "Hard Problem and Free Will: An Information-Theoretical Approach" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

In this entertaining and challenging collection of logic puzzles, Raymond Smullyan -- author of Forever Undecided -- continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time.In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle in which Inspector Craig of Scotland Yard gets involved in a search for the Fountain of Youth on the Island of Knights and Knaves.In the second part of To Mock a Mockingbird, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and -- thanks to Godel's famous theorem -- the final revelation.

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics.But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of papers.The first aim of this book, then, is to explore the philosophical uses of model theory, focusing on the central topics of reference, realism, and doxology. Its second aim is to address important questions in the philosophy of model theory, such as: sameness of theories and structure, the boundaries of logic, and the classification of mathematical structures. Philosophy and Model Theory will be accessible to anyone who has completed an introductory logic course. It does not assume that readers have encountered model theory before, but starts right at the beginning, discussing philosophical issues that arise even with conceptually basic model theory. Moreover, the book is largely self-contained: model-theoretic notions are defined as and when they are needed for the philosophical discussion, and many of the most philosophically significant results are given accessible proofs.

From imaginary numbers to the fourth dimension and beyond, mathematics has always been about imagining things that seem impossible at first glance. In x+y, Eugenia Cheng draws on the insights of higher-dimensional mathematics to reveal a transformative new way of talking about the patriarchy, mansplaining and sexism: a way that empowers all of us to make the world a better place.Using precise mathematical reasoning to uncover everything from the sexist assumptions that make society a harder place for women to live to the limitations of science and statistics in helping us understand the link between gender and society, Cheng's analysis replaces confusion with clarity, brings original thinking to well worn arguments - and provides a radical, illuminating and liberating new way of thinking about the world and women's place in it.

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.

Winner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications for mathematics. It unifies ideas from set theory and mathematical logic, and traces their effects on mainstream mathematical topics of today, such as number theory and combinatorics. The treatment is historical and partly informal, but with due attention to the subtleties of the subject. Ideas are shown to evolve from natural mathematical questions about the nature of infinity and the nature of proof, set against a background of broader questions and developments in mathematics. A particular aim of the book is to acknowledge some important but neglected figures in the history of infinity, such as Post and Gentzen, alongside the recognized giants Cantor and Gödel.