Robuta

https://dmtcs.episciences.org/en/articles/2302 On undecidability of equicontinuity classification for cellular automata | Discrete Mathematics &... Equicontinuity classification is a popular classification of cellular automata based on their dynamical behavior. In this paper we prove that most of its... cellular automata discrete mathematics undecidability equicontinuity classification https://rocq-prover.org/p/coq-library-undecidability/1.1.2%2B8.20 coq-library-undecidability 1.1.2+8.20 · Rocq Package coq-library-undecidability 1.1.2+8.20: A Coq Library of Undecidability Proofs coq library undecidability rocq package https://www.forrestconsult.com/blog/category/Undecidability Undecidability — Strategic Thinking & Strategic Action — Forrest Consulting strategic thinking undecidability action forrest consulting https://sicv.activearchives.org/logbook/tag/undecidability/ undecidability | The Institute for Computational Vandalism the institute undecidability computational vandalism