Group Abstract Group Abstract

Message Boards Message Boards

NEW Stephen Wolfram book - Metamathematics: Foundations & Physicalization

POSTED BY: Paige Vigliarolo
9 Replies
POSTED BY: Paige Vigliarolo
Posted 3 years 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 3 years ago
Posted 3 years 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
Posted 3 years 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