Message Boards Message Boards

NEW Stephen Wolfram book - Metamathematics: Foundations & Physicalization

"What is mathematics?" is a question that has been debated since antiquity. Metamathematics: Foundations & Physicalization presents a groundbreaking and surprising answer to the question— showing through the concept of the physicalization of metamathematics how both mathematics and physics, as experienced by humans, can be seen to emerge from the unique underlying computational structure of the recently formulated ruliad.

FOLLOW THIS LINK TO ORDER NOW:
https://www.amazon.com/Metamathematics-Foundations-Physicalization-Stephen-Wolfram/dp/1579550762

Written with Stephen Wolfram's characteristic expositional flair and richly illustrated with remarkable algorithmic diagrams, the book takes the reader on an unprecedented intellectual journey to the center of some of the deepest questions about mathematics and its nature—and points the way to a new understanding of the foundations and future of mathematics, taking a major step beyond ideas from Plato, Kant, Hilbert, Gödel and others.

For more information, please visit the Wolfram Media Website

enter image description here

POSTED BY: Paige Vigliarolo
9 Replies

The first section of the book matches the blog post you've mentioned but the book also contains other writing from Stephen on the topic and an excerpt from A New Kind of Science.

POSTED BY: Paige Vigliarolo
Posted 1 year ago

When looking at this book in the Wolfram media page (https://www.wolfram-media.com/products/metamathematics-foundations-and-physicalization/), I noticed that the titles of the chapters of the book are almost identical to the free-accessible writing about metamathematics (https://writings.stephenwolfram.com/2022/03/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/).

Therefore, may I ask, does the book add any more new content about Wolfram's ideas on metamathematics? Or is it a book-version of that writing (almost identical to it)?

POSTED BY: Nodu Agga
Posted 1 year ago
Posted 1 year ago

When will the Kindle version be released? Wow it’s available now!

POSTED BY: John Bird
ListLinePlot[LowpassFilter[With[{dataset = Dataset[{<|"" -> 0,
        "text" -> 
         "Science has gotten big; how does quality control usually \
work in some big system? Analog is", "start" -> 0.0, 
        "duration" -> 91|>, <|"" -> 1, 
        "text" -> 
         "regulation in markets, it's easier to make safe food than \
unsafe food, it's easier to make bad ", "start" -> 91, 
        "duration" -> 186|>, <|"" -> 2, 
        "text" -> 
         "science than good science. You have peers, you have people \
who can give you input and if you're ", "start" -> 186, 
        "duration" -> 282|>, <|"" -> 3, 
        "text" -> 
         "rational and actually want to create good scientific \
progress, then you talk to them... you're not ", "start" -> 282, 
        "duration" -> 389|>, <|"" -> 4, 
        "text" -> 
         "regulated to do peer review but if you mess up and start to \
release garbage there's some way ", "start" -> 389, 
        "duration" -> 482|>, <|"" -> 5, 
        "text" -> 
         "people can find out about it and that'll affect your \
ability to spread these ideas... and probably ", "start" -> 482, 
        "duration" -> 589|>, <|"" -> 6, 
        "text" -> 
         "they'll eventually crash. Maybe one can never escape the \
feral cats in the case that it's still... a", "start" -> 589, 
        "duration" -> 686|>, <|"" -> 7, 
        "text" -> 
         "case in which there's higher variance; people who are doing \
crazy stuff and getting high velocity ", "start" -> 686, 
        "duration" -> 784|>, <|"" -> 8, 
        "text" -> 
         "doing crazy stuff even though it's crazy and yes I can see \
that can happen. The one thing that ", "start" -> 784, 
        "duration" -> 879|>, <|"" -> 9, 
        "text" -> 
         "hasn't happened and that journals could do is computational \
publication, they don't have to do ", "start" -> 879, 
        "duration" -> 974|>, <|"" -> 10, 
        "text" -> 
         "typesetting or copyediting but what they could do is get \
code to actually work, the code that they ", "start" -> 974, 
        "duration" -> 1073|>, <|"" -> 11, 
        "text" -> "publish actually works.", "start" -> 9.92, 
        "duration" -> 1096|>}]}, 
   CosineDistance[#[[1]], #[[2]]] & /@ 
    Partition[
     Mean[NetModel[
          "BERT Trained on BookCorpus and Wikipedia Data"][#]] & /@ 
      StringRiffle /@ 
       Select[Normal[
         dataset[Function[{startTime, endTime}, 
              Select[#start >= startTime && #start < 
                  endTime &]][#[[1]], #[[2]]], "text"] & /@ 
          Partition[
           Range[1, 
            Ceiling[dataset[-1, "start"] + 
              dataset[-1, "duration"]], .6*0.5], 2, 1]], 
        UnsameQ[#, {}] &], 2, 1]], 0.5], MeshStyle -> Red, 
 Mesh -> All]

Oh the Kindle version is out...come up from antiquity and see the Linguistic Relations & Proof Spaced Topology.

Cosine Similarity

E-books...isn't that the spirit to see a linguistic diagram of how the words flow? You could do the Centennial.

POSTED BY: Dean Gladish

Stephen does weekly livestreams where he takes questions from viewers. That's the best way to engage with Stephen directly ( https://livestreams.stephenwolfram.com/ ). You're certainly welcome to post coding questions that don't require Stephen's direct input in your own new thread here on Community!

POSTED BY: Paige Vigliarolo

I just received the book today. Will there be a thread in the Wolfram community where I can get clarification on some of the concepts in the book? Thanks!

Posted 1 year ago

Wolfram talks about the physicalization of mathematics and seems to adopt some sort of platonic position saying that mathematics does really exist in some sense or another because mathematics and all the relations between abstract concepts would exist in the ruliad

Thus, I have one question: Since Wolfram says that all possible mathematical concepts and structures would exist in the rulial space, and the ruliad is what makes reality and every possibility is realized by it, couldn't we say that all mathematically possible universes would exist in some way or another according to Wolfram's ideas? (like platonist-physicist Max Tegmark proposed in his "Mathematical Universe Hypothesis" where all mathematical structures would exist as separated universes: https://en.wikipedia.org/wiki/Mathematical_universe_hypothesis)

POSTED BY: Nodu Agga
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract