Wolfram interviews Chatain (part 1) regarding the relationship between Godel's Incompleteness and Algorithmic Information <https://youtu.be/d8MWRkS1pek>, among other things. At one point Chatain discusses the early work on minimization of the complexity of finite state automata that outputs an observational history as an approach to natural science. Unfortunately, this very early work in the history of Algorithmic Information Theory and scientific inference didn't take it all the way to NOR gates. Then there is part 2 <https://youtu.be/Mtt6PWt0Kcg>.
On Fri, Oct 15, 2021 at 6:33 PM Matt Mahoney <[email protected]> wrote: > Yes, n-NOR is simpler and I prefer it for that reason. I was thinking of > practical implementations that already take 50 hours using 32 or 64 bit > operations. We would need to write a translator for n-NOR to C, preferably > one that can optimize by grouping bits into integer and vector operations. > > On Fri, Oct 15, 2021, 5:41 PM Matt Mahoney <[email protected]> > wrote: > >> >> >> On Fri, Oct 15, 2021, 4:50 PM <[email protected]> wrote: >> >>> So the goal is to make a circuit (?_that is ONLY made of NOR >>> components_?) that outputs a 1 only when the input is enwik9? Hence the >>> size of said circuit is the score? How do you know if some other input ex. >>> enwik8 wouldn't pop out a 1? You'd have to feed in all possible inputs to >>> see if does, no? >>> >> >> In general, yes, unless P = NP. It's a minor variation of SAT. The best >> known solution time increases exponentially with the size of the circuit >> description. >> >> Thus, my proposal that is easier to test. (Input is 33 bit n, output is >> n'th bit of enwik9). You don't even need to specify hardware constraints >> because run time and memory only depend on the size of the circuit. >> >> It might be interesting to expand this beyond NOR gates to a more general >> hardware description language that could be implemented more efficiently on >> a computer. So you could have adders, multipliers, parallel vector logic >> operators, etc, which in principle could all be made of NOR gates. We would >> keep the requirement of a feed forward network only, with no clock, >> registers, memory, or feedback loops. >> >>> *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + > delivery options <https://agi.topicbox.com/groups/agi/subscription> > Permalink > <https://agi.topicbox.com/groups/agi/T728994814c1a40a0-M00c02235fe70ff8280e180ec> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T728994814c1a40a0-Ma5764a638858df97ceff22bc Delivery options: https://agi.topicbox.com/groups/agi/subscription
