User Portlet

Owen Xuan

Featured Contributor

Discussions

[WSRP24] Generating macro machine simulations and proofs of halting for busy beaver Turing machines ![Multiway graph of 2-state 2-color Busy Beaver-Candidate Turing Machines][1] &[Wolfram Notebook][2] [1]: https://community.wolfram.com//c/portal/getImageAttachment?filename=Cover_Image.png&userId=3199996 [2]:... AUTHOR: Owen Xuan 7152VIEWS 2REPLIES 1 year ago