6 ms·

What are the implications of positive/negative answers to these questions, and/or what else aside from "because it's there" motivates answering these questions?

uoaei 7y ago
Who knows? Answers to these questions might spur discussion on connections between cellular automata and other computational constructions. I think that's Wolfram's angle -- justify the cellular-automata-is-everything tack that he's been on the past 20-30 years.
- DonHopkins 7y ago
  Maybe it's a scheme to drum up attention for his new upcoming line of "Rule 30 Wearable Cellular Automata Clothing and Fashion Accessories". https://www.kickstarter.com/projects/fbz/knityak-custom-mathematical-knit-scarves https://www.kickstarter.com/projects/fbz/knityak-custom-math... They make great tattoos too: http://i.imgur.com/mct1AFX.jpg http://i.imgur.com/mct1AFX.jpg https://geekytattoos.wordpress.com/2011/04/14/wolfram-2-state-3-color-turing-machine/ https://geekytattoos.wordpress.com/2011/04/14/wolfram-2-stat... That one is actually quite controversial: https://en.wikipedia.org/wiki/Wolfram%27s_2-state_3-symbol_Turing_machine https://en.wikipedia.org/wiki/Wolfram%27s_2-state_3-symbol_T...
slowmovintarget 7y ago
Likely the development of new techniques for analyzing algorithms. But I don't really have a visceral understanding of the problem.
deleted 7y ago
[deleted]
tiborsaas 7y ago
From the detailed problem description: "If one can show that a system is universal, however, then this does have implications that are closer to our rule 30 problem. In particular, if a system is universal, then there’ll be questions (like the halting problem) about its infinite-time behavior that will be undecidable, and which no guaranteed-finite-time computation can answer." https://writings.stephenwolfram.com/2019/10/announcing-the-rule-30-prizes https://writings.stephenwolfram.com/2019/10/announcing-the-r...
amelius 7y ago
These questions made me think of normal numbers [1] and their properties. [1] https://en.wikipedia.org/wiki/Normal_number https://en.wikipedia.org/wiki/Normal_number

uoaei 7y ago

Who knows? Answers to these questions might spur discussion on connections between cellular automata and other computational constructions. I think that's Wolfram's angle -- justify the cellular-automata-is-everything tack that he's been on the past 20-30 years.

DonHopkins 7y ago
Maybe it's a scheme to drum up attention for his new upcoming line of "Rule 30 Wearable Cellular Automata Clothing and Fashion Accessories". https://www.kickstarter.com/projects/fbz/knityak-custom-mathematical-knit-scarves https://www.kickstarter.com/projects/fbz/knityak-custom-math... They make great tattoos too: http://i.imgur.com/mct1AFX.jpg http://i.imgur.com/mct1AFX.jpg https://geekytattoos.wordpress.com/2011/04/14/wolfram-2-state-3-color-turing-machine/ https://geekytattoos.wordpress.com/2011/04/14/wolfram-2-stat... That one is actually quite controversial: https://en.wikipedia.org/wiki/Wolfram%27s_2-state_3-symbol_Turing_machine https://en.wikipedia.org/wiki/Wolfram%27s_2-state_3-symbol_T...

slowmovintarget 7y ago

Likely the development of new techniques for analyzing algorithms. But I don't really have a visceral understanding of the problem.

deleted 7y ago

[deleted]

tiborsaas 7y ago

From the detailed problem description: "If one can show that a system is universal, however, then this does have implications that are closer to our rule 30 problem. In particular, if a system is universal, then there’ll be questions (like the halting problem) about its infinite-time behavior that will be undecidable, and which no guaranteed-finite-time computation can answer." https://writings.stephenwolfram.com/2019/10/announcing-the-rule-30-prizes https://writings.stephenwolfram.com/2019/10/announcing-the-r...

amelius 7y ago

These questions made me think of normal numbers [1] and their properties. [1] https://en.wikipedia.org/wiki/Normal_number https://en.wikipedia.org/wiki/Normal_number