## Following my GUT

…in which I bounce ideas off GPT-4 until I get a big chunk of my G.U.T. worked out.

Skip to content
# Computer science

## Following my GUT

## Proof summary for aperiodicity of Rule 30

Bytc

…in which I bounce ideas off GPT-4 until I get a big chunk of my G.U.T. worked out.

Bytc

This is rule 30. The center column is highlighted, as we are interested in determining whether or not it’s possible for it to ever degenerate into a cyclic pattern. Today, I have a pretty good outline for how to show that it cannot. Rule 30 as boolean algebra We can always substitute variables in place…