Foolproof, and Other Mathematical Meditations

Foolproof, and Other Mathematical Meditations

Author: Brian Hayes

Publisher: MIT Press

Published: 2018-10-30

Total Pages: 245

ISBN-13: 0262536072

DOWNLOAD EBOOK

A non-mathematician explores mathematical terrain, reporting accessibly and engagingly on topics from Sudoku to probability. Brian Hayes wants to convince us that mathematics is too important and too much fun to be left to the mathematicians. Foolproof, and Other Mathematical Meditations is his entertaining and accessible exploration of mathematical terrain both far-flung and nearby, bringing readers tidings of mathematical topics from Markov chains to Sudoku. Hayes, a non-mathematician, argues that mathematics is not only an essential tool for understanding the world but also a world unto itself, filled with objects and patterns that transcend earthly reality. In a series of essays, Hayes sets off to explore this exotic terrain, and takes the reader with him. Math has a bad reputation: dull, difficult, detached from daily life. As a talking Barbie doll opined, “Math class is tough.” But Hayes makes math seem fun. Whether he's tracing the genealogy of a well-worn anecdote about a famous mathematical prodigy, or speculating about what would happen to a lost ball in the nth dimension, or explaining that there are such things as quasirandom numbers, Hayes wants readers to share his enthusiasm. That's why he imagines a cinematic treatment of the discovery of the Riemann zeta function (“The year: 1972. The scene: Afternoon tea in Fuld Hall at the Institute for Advanced Study in Princeton, New Jersey”), explains that there is math in Sudoku after all, and describes better-than-average averages. Even when some of these essays involve a hike up the learning curve, the view from the top is worth it.


Book Synopsis Foolproof, and Other Mathematical Meditations by : Brian Hayes

Download or read book Foolproof, and Other Mathematical Meditations written by Brian Hayes and published by MIT Press. This book was released on 2018-10-30 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: A non-mathematician explores mathematical terrain, reporting accessibly and engagingly on topics from Sudoku to probability. Brian Hayes wants to convince us that mathematics is too important and too much fun to be left to the mathematicians. Foolproof, and Other Mathematical Meditations is his entertaining and accessible exploration of mathematical terrain both far-flung and nearby, bringing readers tidings of mathematical topics from Markov chains to Sudoku. Hayes, a non-mathematician, argues that mathematics is not only an essential tool for understanding the world but also a world unto itself, filled with objects and patterns that transcend earthly reality. In a series of essays, Hayes sets off to explore this exotic terrain, and takes the reader with him. Math has a bad reputation: dull, difficult, detached from daily life. As a talking Barbie doll opined, “Math class is tough.” But Hayes makes math seem fun. Whether he's tracing the genealogy of a well-worn anecdote about a famous mathematical prodigy, or speculating about what would happen to a lost ball in the nth dimension, or explaining that there are such things as quasirandom numbers, Hayes wants readers to share his enthusiasm. That's why he imagines a cinematic treatment of the discovery of the Riemann zeta function (“The year: 1972. The scene: Afternoon tea in Fuld Hall at the Institute for Advanced Study in Princeton, New Jersey”), explains that there is math in Sudoku after all, and describes better-than-average averages. Even when some of these essays involve a hike up the learning curve, the view from the top is worth it.

The Raven's Hat

The Raven's Hat

Author: Jonas Peters

Publisher: MIT Press

Published: 2021-02-02

Total Pages: 193

ISBN-13: 0262362686

DOWNLOAD EBOOK

Games that show how mathematics can solve the apparently unsolvable. This book presents a series of engaging games that seem unsolvable--but can be solved when they are translated into mathematical terms. How can players find their ID cards when the cards are distributed randomly among twenty boxes? By applying the theory of permutations. How can a player guess the color of her own hat when she can only see other players' hats? Hamming codes, which are used in communication technologies. Like magic, mathematics solves the apparently unsolvable. The games allow readers, including university students or anyone with high school-level math, to experience the joy of mathematical discovery.


Book Synopsis The Raven's Hat by : Jonas Peters

Download or read book The Raven's Hat written by Jonas Peters and published by MIT Press. This book was released on 2021-02-02 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: Games that show how mathematics can solve the apparently unsolvable. This book presents a series of engaging games that seem unsolvable--but can be solved when they are translated into mathematical terms. How can players find their ID cards when the cards are distributed randomly among twenty boxes? By applying the theory of permutations. How can a player guess the color of her own hat when she can only see other players' hats? Hamming codes, which are used in communication technologies. Like magic, mathematics solves the apparently unsolvable. The games allow readers, including university students or anyone with high school-level math, to experience the joy of mathematical discovery.

The Meaning of Proofs

The Meaning of Proofs

Author: Gabriele Lolli

Publisher: MIT Press

Published: 2022-09-27

Total Pages: 177

ISBN-13: 0262371049

DOWNLOAD EBOOK

Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story. In The Meaning of Proofs, mathematician Gabriele Lolli argues that to write a mathematical proof is tantamount to inventing a story. Lolli offers not instructions for how to write mathematical proofs, but a philosophical and poetic reflection on mathematical proofs as narrative. Mathematics, imprisoned within its symbols and images, Lolli writes, says nothing if its meaning is not narrated in a story. The minute mathematicians open their mouths to explain something—the meaning of x, how to find y—they are framing a narrative. Every proof is the story of an adventure, writes Lolli, a journey into an unknown land to open a new, connected route; once the road is open, we correct it, expand it. Just as fairy tales offer a narrative structure in which new characters can be inserted into recurring forms of the genre in original ways, in mathematics, each new abstract concept is the protagonist of a different theory supported by the general techniques of mathematical reasoning. In ancient Greece, there was more than an analogy between literature and mathematics, there was direct influence. Euclid’s proofs have roots in poetry and rhetoric. Mathematics, Lolli asserts, is not the mere manipulation of formulas.


Book Synopsis The Meaning of Proofs by : Gabriele Lolli

Download or read book The Meaning of Proofs written by Gabriele Lolli and published by MIT Press. This book was released on 2022-09-27 with total page 177 pages. Available in PDF, EPUB and Kindle. Book excerpt: Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story. In The Meaning of Proofs, mathematician Gabriele Lolli argues that to write a mathematical proof is tantamount to inventing a story. Lolli offers not instructions for how to write mathematical proofs, but a philosophical and poetic reflection on mathematical proofs as narrative. Mathematics, imprisoned within its symbols and images, Lolli writes, says nothing if its meaning is not narrated in a story. The minute mathematicians open their mouths to explain something—the meaning of x, how to find y—they are framing a narrative. Every proof is the story of an adventure, writes Lolli, a journey into an unknown land to open a new, connected route; once the road is open, we correct it, expand it. Just as fairy tales offer a narrative structure in which new characters can be inserted into recurring forms of the genre in original ways, in mathematics, each new abstract concept is the protagonist of a different theory supported by the general techniques of mathematical reasoning. In ancient Greece, there was more than an analogy between literature and mathematics, there was direct influence. Euclid’s proofs have roots in poetry and rhetoric. Mathematics, Lolli asserts, is not the mere manipulation of formulas.

Sleight of Mind

Sleight of Mind

Author: Matt Cook

Publisher: MIT Press

Published: 2021-08-03

Total Pages: 369

ISBN-13: 0262542293

DOWNLOAD EBOOK

This “fun, brain-twisting book . . . will make you think” as it explores more than 75 paradoxes in mathematics, philosophy, physics, and the social sciences (Sean Carroll, New York Times–bestselling author of Something Deeply Hidden). Paradox is a sophisticated kind of magic trick. A magician’s purpose is to create the appearance of impossibility, to pull a rabbit from an empty hat. Yet paradox doesn’t require tangibles, like rabbits or hats. Paradox works in the abstract, with words and concepts and symbols, to create the illusion of contradiction. There are no contradictions in reality, but there can appear to be. In Sleight of Mind, Matt Cook and a few collaborators dive deeply into more than 75 paradoxes in mathematics, physics, philosophy, and the social sciences. As each paradox is discussed and resolved, Cook helps readers discover the meaning of knowledge and the proper formation of concepts—and how reason can dispel the illusion of contradiction. The journey begins with “a most ingenious paradox” from Gilbert and Sullivan’s Pirates of Penzance. Readers will then travel from Ancient Greece to cutting-edge laboratories, encounter infinity and its different sizes, and discover mathematical impossibilities inherent in elections. They will tackle conundrums in probability, induction, geometry, and game theory; perform “supertasks”; build apparent perpetual motion machines; meet twins living in different millennia; explore the strange quantum world—and much more.


Book Synopsis Sleight of Mind by : Matt Cook

Download or read book Sleight of Mind written by Matt Cook and published by MIT Press. This book was released on 2021-08-03 with total page 369 pages. Available in PDF, EPUB and Kindle. Book excerpt: This “fun, brain-twisting book . . . will make you think” as it explores more than 75 paradoxes in mathematics, philosophy, physics, and the social sciences (Sean Carroll, New York Times–bestselling author of Something Deeply Hidden). Paradox is a sophisticated kind of magic trick. A magician’s purpose is to create the appearance of impossibility, to pull a rabbit from an empty hat. Yet paradox doesn’t require tangibles, like rabbits or hats. Paradox works in the abstract, with words and concepts and symbols, to create the illusion of contradiction. There are no contradictions in reality, but there can appear to be. In Sleight of Mind, Matt Cook and a few collaborators dive deeply into more than 75 paradoxes in mathematics, physics, philosophy, and the social sciences. As each paradox is discussed and resolved, Cook helps readers discover the meaning of knowledge and the proper formation of concepts—and how reason can dispel the illusion of contradiction. The journey begins with “a most ingenious paradox” from Gilbert and Sullivan’s Pirates of Penzance. Readers will then travel from Ancient Greece to cutting-edge laboratories, encounter infinity and its different sizes, and discover mathematical impossibilities inherent in elections. They will tackle conundrums in probability, induction, geometry, and game theory; perform “supertasks”; build apparent perpetual motion machines; meet twins living in different millennia; explore the strange quantum world—and much more.

Programming for the Puzzled

Programming for the Puzzled

Author: Srini Devadas

Publisher: MIT Press

Published: 2017-11-16

Total Pages: 273

ISBN-13: 0262343193

DOWNLOAD EBOOK

Learning programming with one of “the coolest applications around”: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis. This book builds a bridge between the recreational world of algorithmic puzzles (puzzles that can be solved by algorithms) and the pragmatic world of computer programming, teaching readers to program while solving puzzles. Few introductory students want to program for programming's sake. Puzzles are real-world applications that are attention grabbing, intriguing, and easy to describe. Each lesson starts with the description of a puzzle. After a failed attempt or two at solving the puzzle, the reader arrives at an Aha! moment—a search strategy, data structure, or mathematical fact—and the solution presents itself. The solution to the puzzle becomes the specification of the code to be written. Readers will thus know what the code is supposed to do before seeing the code itself. This represents a pedagogical philosophy that decouples understanding the functionality of the code from understanding programming language syntax and semantics. Python syntax and semantics required to understand the code are explained as needed for each puzzle. Readers need only the rudimentary grasp of programming concepts that can be obtained from introductory or AP computer science classes in high school. The book includes more than twenty puzzles and more than seventy programming exercises that vary in difficulty. Many of the puzzles are well known and have appeared in publications and on websites in many variations. They range from scheduling selfie time with celebrities to solving Sudoku problems in seconds to verifying the six degrees of separation hypothesis. The code for selected puzzle solutions is downloadable from the book's website; the code for all puzzle solutions is available to instructors.


Book Synopsis Programming for the Puzzled by : Srini Devadas

Download or read book Programming for the Puzzled written by Srini Devadas and published by MIT Press. This book was released on 2017-11-16 with total page 273 pages. Available in PDF, EPUB and Kindle. Book excerpt: Learning programming with one of “the coolest applications around”: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis. This book builds a bridge between the recreational world of algorithmic puzzles (puzzles that can be solved by algorithms) and the pragmatic world of computer programming, teaching readers to program while solving puzzles. Few introductory students want to program for programming's sake. Puzzles are real-world applications that are attention grabbing, intriguing, and easy to describe. Each lesson starts with the description of a puzzle. After a failed attempt or two at solving the puzzle, the reader arrives at an Aha! moment—a search strategy, data structure, or mathematical fact—and the solution presents itself. The solution to the puzzle becomes the specification of the code to be written. Readers will thus know what the code is supposed to do before seeing the code itself. This represents a pedagogical philosophy that decouples understanding the functionality of the code from understanding programming language syntax and semantics. Python syntax and semantics required to understand the code are explained as needed for each puzzle. Readers need only the rudimentary grasp of programming concepts that can be obtained from introductory or AP computer science classes in high school. The book includes more than twenty puzzles and more than seventy programming exercises that vary in difficulty. Many of the puzzles are well known and have appeared in publications and on websites in many variations. They range from scheduling selfie time with celebrities to solving Sudoku problems in seconds to verifying the six degrees of separation hypothesis. The code for selected puzzle solutions is downloadable from the book's website; the code for all puzzle solutions is available to instructors.

Lectures on the Philosophy of Mathematics

Lectures on the Philosophy of Mathematics

Author: Joel David Hamkins

Publisher: MIT Press

Published: 2021-03-09

Total Pages: 350

ISBN-13: 0262542234

DOWNLOAD EBOOK

An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.


Book Synopsis Lectures on the Philosophy of Mathematics by : Joel David Hamkins

Download or read book Lectures on the Philosophy of Mathematics written by Joel David Hamkins and published by MIT Press. This book was released on 2021-03-09 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.

Lumen Naturae

Lumen Naturae

Author: Matilde Marcolli

Publisher: MIT Press

Published: 2020-05-26

Total Pages: 390

ISBN-13: 0262043904

DOWNLOAD EBOOK

Exploring common themes in modern art, mathematics, and science, including the concept of space, the notion of randomness, and the shape of the cosmos. This is a book about art—and a book about mathematics and physics. In Lumen Naturae (the title refers to a purely immanent, non-supernatural form of enlightenment), mathematical physicist Matilde Marcolli explores common themes in modern art and modern science—the concept of space, the notion of randomness, the shape of the cosmos, and other puzzles of the universe—while mapping convergences with the work of such artists as Paul Cezanne, Mark Rothko, Sol LeWitt, and Lee Krasner. Her account, focusing on questions she has investigated in her own scientific work, is illustrated by more than two hundred color images of artworks by modern and contemporary artists. Thus Marcolli finds in still life paintings broad and deep philosophical reflections on space and time, and connects notions of space in mathematics to works by Paul Klee, Salvador Dalí, and others. She considers the relation of entropy and art and how notions of entropy have been expressed by such artists as Hans Arp and Fernand Léger; and traces the evolution of randomness as a mode of artistic expression. She analyzes the relation between graphical illustration and scientific text, and offers her own watercolor-decorated mathematical notebooks. Throughout, she balances discussions of science with explorations of art, using one to inform the other. (She employs some formal notation, which can easily be skipped by general readers.) Marcolli is not simply explaining art to scientists and science to artists; she charts unexpected interdependencies that illuminate the universe.


Book Synopsis Lumen Naturae by : Matilde Marcolli

Download or read book Lumen Naturae written by Matilde Marcolli and published by MIT Press. This book was released on 2020-05-26 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: Exploring common themes in modern art, mathematics, and science, including the concept of space, the notion of randomness, and the shape of the cosmos. This is a book about art—and a book about mathematics and physics. In Lumen Naturae (the title refers to a purely immanent, non-supernatural form of enlightenment), mathematical physicist Matilde Marcolli explores common themes in modern art and modern science—the concept of space, the notion of randomness, the shape of the cosmos, and other puzzles of the universe—while mapping convergences with the work of such artists as Paul Cezanne, Mark Rothko, Sol LeWitt, and Lee Krasner. Her account, focusing on questions she has investigated in her own scientific work, is illustrated by more than two hundred color images of artworks by modern and contemporary artists. Thus Marcolli finds in still life paintings broad and deep philosophical reflections on space and time, and connects notions of space in mathematics to works by Paul Klee, Salvador Dalí, and others. She considers the relation of entropy and art and how notions of entropy have been expressed by such artists as Hans Arp and Fernand Léger; and traces the evolution of randomness as a mode of artistic expression. She analyzes the relation between graphical illustration and scientific text, and offers her own watercolor-decorated mathematical notebooks. Throughout, she balances discussions of science with explorations of art, using one to inform the other. (She employs some formal notation, which can easily be skipped by general readers.) Marcolli is not simply explaining art to scientists and science to artists; she charts unexpected interdependencies that illuminate the universe.

Fundamentals of Mathematics

Fundamentals of Mathematics

Author:

Publisher:

Published: 1974

Total Pages: 0

ISBN-13:

DOWNLOAD EBOOK


Book Synopsis Fundamentals of Mathematics by :

Download or read book Fundamentals of Mathematics written by and published by . This book was released on 1974 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

On the Brink of Paradox

On the Brink of Paradox

Author: Agustin Rayo

Publisher: MIT Press

Published: 2019-04-02

Total Pages: 321

ISBN-13: 0262039419

DOWNLOAD EBOOK

An introduction to awe-inspiring ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, and computability theory. This book introduces the reader to awe-inspiring issues at the intersection of philosophy and mathematics. It explores ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, computability theory, the Grandfather Paradox, Newcomb's Problem, the Principle of Countable Additivity. The goal is to present some exceptionally beautiful ideas in enough detail to enable readers to understand the ideas themselves (rather than watered-down approximations), but without supplying so much detail that they abandon the effort. The philosophical content requires a mind attuned to subtlety; the most demanding of the mathematical ideas require familiarity with college-level mathematics or mathematical proof. The book covers Cantor's revolutionary thinking about infinity, which leads to the result that some infinities are bigger than others; time travel and free will, decision theory, probability, and the Banach-Tarski Theorem, which states that it is possible to decompose a ball into a finite number of pieces and reassemble the pieces so as to get two balls that are each the same size as the original. Its investigation of computability theory leads to a proof of Gödel's Incompleteness Theorem, which yields the amazing result that arithmetic is so complex that no computer could be programmed to output every arithmetical truth and no falsehood. Each chapter is followed by an appendix with answers to exercises. A list of recommended reading points readers to more advanced discussions. The book is based on a popular course (and MOOC) taught by the author at MIT.


Book Synopsis On the Brink of Paradox by : Agustin Rayo

Download or read book On the Brink of Paradox written by Agustin Rayo and published by MIT Press. This book was released on 2019-04-02 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to awe-inspiring ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, and computability theory. This book introduces the reader to awe-inspiring issues at the intersection of philosophy and mathematics. It explores ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, computability theory, the Grandfather Paradox, Newcomb's Problem, the Principle of Countable Additivity. The goal is to present some exceptionally beautiful ideas in enough detail to enable readers to understand the ideas themselves (rather than watered-down approximations), but without supplying so much detail that they abandon the effort. The philosophical content requires a mind attuned to subtlety; the most demanding of the mathematical ideas require familiarity with college-level mathematics or mathematical proof. The book covers Cantor's revolutionary thinking about infinity, which leads to the result that some infinities are bigger than others; time travel and free will, decision theory, probability, and the Banach-Tarski Theorem, which states that it is possible to decompose a ball into a finite number of pieces and reassemble the pieces so as to get two balls that are each the same size as the original. Its investigation of computability theory leads to a proof of Gödel's Incompleteness Theorem, which yields the amazing result that arithmetic is so complex that no computer could be programmed to output every arithmetical truth and no falsehood. Each chapter is followed by an appendix with answers to exercises. A list of recommended reading points readers to more advanced discussions. The book is based on a popular course (and MOOC) taught by the author at MIT.

Turing's Vision

Turing's Vision

Author: Chris Bernhardt

Publisher: MIT Press

Published: 2016-05-13

Total Pages: 209

ISBN-13: 0262034549

DOWNLOAD EBOOK

In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, "The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory." Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer. In the paper, "On Computable Numbers, with an Application to the Entscheidungsproblem," Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.


Book Synopsis Turing's Vision by : Chris Bernhardt

Download or read book Turing's Vision written by Chris Bernhardt and published by MIT Press. This book was released on 2016-05-13 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, "The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory." Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer. In the paper, "On Computable Numbers, with an Application to the Entscheidungsproblem," Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.