Hacker News new | ask | show | jobs
by btilly 205 days ago
You can change "might not" to "have not".

The Game of Life is Turing complete. And therefore a complete analysis of how to write programs in it would imply a solution to the Halting problem. Which is impossible.

1 comments

Turing completeness relies on infinite state.

With finite state, one could theoretically brute force search every possible 1D sequence to find a glider shorter than the one discovered here.

Obviously that's impractical, but turns the whole thing into a search problem - find the best/a good solution in a huge search space.