Conference paper
Generative Adversarial Symmetry Discovery
Jianke Yang, Robin Walters, et al.
ICML 2023
Using 1947 work of Post showing that the word problem for semigroups is unsolvable, we explicitly exhibit an algebraic characterization of the bits of the halting probability Ω. Our proof closely follows a 1978 formulation of Post's work by M. Davis. The proof is self-contained and not very complicated.
Jianke Yang, Robin Walters, et al.
ICML 2023
Martin Charles Golumbic, Renu C. Laskar
Discrete Applied Mathematics
Imran Nasim, Michael E. Henderson
Mathematics
Martin C. Gutzwiller
Physica D: Nonlinear Phenomena