On shift-invariant maximal filters and hormonal cellular automata

Autor: Julien Cervelle, Gregory Lafitte

Publikováno v: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS: Logic in Computer Science
LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10, ⟨10.1109/LICS.2017.8005145⟩

International audience; This paper deals with the construction of shift-invariant maximal filters on ℤ and their relation to hormonal cellular automata, a generalization of the cellular automata computation model with some information about the glo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f99fff2f1d6d673da853384e5796182
https://hal.archives-ouvertes.fr/hal-01615278

Busy beavers gone wild

Autor: Grégory Lafitte

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 1, Iss Proc. CSP 2008, Pp 123-129 (2009)

We show some incompleteness results a la Chaitin using the busy beaver functions. Then, with the help of ordinal logics, we show how to obtain a theory in which the values of the busy beaver functions can be provably established and use this to revea

Externí odkaz: https://doaj.org/article/2601d0a647814414a516e11cde907687