6 ms·
Announcing the Rule 30 Prizes (2019)
- OnlyOneCannolo 5y agoTitle: "A man" Article: "by Stephen Wolfram"
- schoen 5y ago(2019); more at: https://www.rule30prize.org/ https://www.rule30prize.org/ It looks like these prizes are still open.
- DeepYogurt 5y agoMan I hate how that guy writes. > ... then applying the following simple rule: Some pictures with no description Really? Follow the link and it's a 45 page pdf.
- concreteblock 5y agoIn case anyone is wondering, the way to interpet the rules is as follows. * The state of the system is a black-white assignment of colors to the grid. * The rules tell you how to compute the next state of the system. * To update the state at a certain cell x, you look at the colors of x-1, x and x+1. (left, self, and right). Then use use the table of rules to determine the new color of the middle cell. For instance, the first rule tells you that if you see three black cells in a row, then in the next time step the middle cell is white. * This update is done simultaneously over all cells, so you compute all the new cell colors and then update them all at once.
- zen_of_prog 5y agoIf the pattern matches the top three tiles, then the tile below is defined by the bottom tile in the rules. This is done top down, row by row for each 3-tile section of a row. You're totally right though.
- DeepYogurt 5y agoJust so I understand; some tile on row n in column m would depend on three tiles in row n-1 where those three would be in columns m-1, m, and m+1? How does that work for edges and for the first tile? Also is the pattern just implicitly started with a single tile? Thanks for the explanation :)
- concreteblock 5y agoYes, that's correct. There are no edges, it's an infinite grid. You start with 1 black cell and all the other cells are white. Because the triple-white configuration does not produce a black cell, you can compute up the any finite time step with finite computational power. (Actually, later in the article he talks about finite grids with periodic boundary conditions. That means that, if you're on the edge, you 'wrap around' to the other side of the grid).
- DeepYogurt 5y agoGotcha. Thanks for taking the time :)
- kolbe 5y agoI don’t think anyone on Earth has obsessed over Rule 30 as much as Stephen Wolfram. And I think there are maybe single-digit number of people who are more intelligent than he is. So, if he can’t answer some Rule 30 related problem, I seriously doubt anyone else can.
- concreteblock 5y agoThe problem seems to have the same flavor as the Collatz conjecture. Simple dynamical system - very difficult to tell what happens in the long run. Perhaps these things are too hard for (human) mathematics. I wonder if anyone has proved any theorems that make this precise. E.g. "Most cellular automata rules cannot be analyzed efficiently". I don't know enough complexity theory/set theory to formulate this precisely.
- schoen 5y ago> Perhaps these things are too hard for (human) mathematics. I'm guessing this thought is partly inspired by Erdős's remark about the Collatz conjecture? https://hsm.stackexchange.com/questions/6389/paul-erdos-quote-mathematics-is-not-yet-ready-for-such-problems https://hsm.stackexchange.com/questions/6389/paul-erdos-quot...
- schoen 5y agoThough, to be fair, Wolfram did run a previous prize contest about a conjecture that he had thought about but not solved, and someone else successfully solved it: https://www.wolframscience.com/prizes/tm23/ https://www.wolframscience.com/prizes/tm23/
- sblom 5y agoAnd that was all about proving that Rule 110 was capable of universal computation. (They first found a way to map Rule 110 to the tag system put forth in that prize.) This zoo of 3-predecessor cellular automata is an impressive lot.
- 0-_-0 5y ago
- Taniwha 5y agooh, rule 30, I assumed rule 34 ..... I guess somewhere there's rule 34 of rule 30
- ChrisArchitect 5y agoPlenty of old discussion on the main site https://news.ycombinator.com/item?id=21130098 https://news.ycombinator.com/item?id=21130098