Other Sellers on Amazon
& FREE Shipping
91% positive over last 12 months
Usually ships within 2 to 3 days.
& FREE Shipping
87% positive over last 12 months
Usually ships within 3 to 4 days.
& FREE Shipping
78% positive over last 12 months
Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required. Learn more
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
Metamathematics: Foundations & Physicalization
| Price | New from | Used from |
- Kindle
$16.95 Read with Our Free App - Hardcover
$44.953 Used from $47.66 12 New from $43.84
Enhance your purchase
Contents
Preface
The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Mathematics and Physics Have the Same Foundations · The Underlying Structure of Mathematics and Physics · The Metamodeling of Axiomatic Mathematics · Some Simple Examples with Mathematical Interpretations · Metamathematical Space · The Issue of Generated Variables · Rules Applied to Rules · Accumulative Evolution · Accumulative String Systems · The Case of Hypergraphs · Proofs in Accumulative Systems · Beyond Substitution: Cosubstitution and Bisubstitution · Some First Metamathematical Phenomenology · Relations to Automated Theorem Proving · Axiom Systems of Present-Day Mathematics · The Model-Theoretic Perspective · Axiom Systems in the Wild · The Topology of Proof Space · Time, Timelessness and Entailment Fabrics · The Notion of Truth · What Can Human Mathematics Be Like? · Going below Axiomatic Mathematics · The Physicalized Laws of Mathematics · Uniformity and Motion in Metamathematical Space · Gravitational and Relativistic Effects in Metamathematics · Empirical Metamathematics · Invented or Discovered? How Mathematics Relates to Humans · What Axioms Can There Be for Human Mathematics? · Counting the Emes of Mathematics and Physics · Some Historical (and Philosophical) Background · Implications for the Future of Mathematics · Some Personal History: The Evolution of These Ideas · Notes & Thanks · Graphical Key · Glossary · Annotated Bibliography
The Concept of the Ruliad
The Entangled Limit of Everything · Experiencing the Ruliad · Observers Like Us · Living in Rulial Space · The View from Mathematics · The View from Computation Theory · What's beyond the Ruliad? · Communicating across Rulial Space · So Is There a Fundamental Theory of Physics? · Alien Views of the Ruliad · Conceptual Implications of the Ruliad · Appendix: The Case of the "Multiplicad" · Thanks & Note
The Empirical Metamathematics of Euclid and Beyond
Towards a Science of Metamathematics · The Most Famous Math Book in History · Basic Statistics of Euclid · The Interdependence of Theorems · The Graph of All Theorems · The Causal Graph Analogy · The Most Difficult Theorem in Euclid · The Most Popular Theorems in Euclid · What Really Depends on What? · The Machine Code of Euclid: All the Way Down to Axioms · Superaxioms, or What Are the Most Powerful Theorems? · Formalizing Euclid · All Possible Theorems · Math beyond Euclid · The Future of Empirical Metamathematics · Thanks · Note Added
Implications for Mathematics and Its Foundations, Section 12.9 from A New Kind of Science (2002)
Index
- ISBN-101579550762
- ISBN-13978-1579550769
- PublisherWolfram Media
- Publication dateDecember 16, 2022
- LanguageEnglish
- Dimensions7.6 x 1.2 x 9.9 inches
- Print length456 pages
![]() |
Frequently bought together

- +
- +
Customers who viewed this item also viewed
Editorial Reviews
About the Author
Product details
- Publisher : Wolfram Media (December 16, 2022)
- Language : English
- Hardcover : 456 pages
- ISBN-10 : 1579550762
- ISBN-13 : 978-1579550769
- Item Weight : 2.25 pounds
- Dimensions : 7.6 x 1.2 x 9.9 inches
- Best Sellers Rank: #156,753 in Books (See Top 100 in Books)
- #60 in Mathematical Logic
- #103 in Mathematics History
- #256 in Mathematics (Books)
- Customer Reviews:
About the author

Stephen Wolfram has had a unique trajectory in science, technology and business. Widely known for his discoveries in basic science and his groundbreaking 2002 book "A New Kind of Science," he has spent three decades building what is now Wolfram Language: the knowledge-based computer language that powers Mathematica and Wolfram|Alpha and has contributed to countless inventions and discoveries, as well as to the education of several generations of students.
Wolfram was born in London and educated at Eton, Oxford and Caltech, earning his PhD in physics in 1979 at the age of 20. After a brief but distinguished academic career, he founded Wolfram Research in 1987 and as CEO has built it into one of the world’s most respected and innovative software companies, whose products are relied on by millions of people around the world.
Customer reviews
Customer Reviews, including Product Star Ratings help customers to learn more about the product and decide whether it is the right product for them.
To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Instead, our system considers things like how recent a review is and if the reviewer bought the item on Amazon. It also analyzed reviews to verify trustworthiness.
Learn more how customers reviews work on Amazon-
Top reviews








