Braid is undecidable · HackerPapers discussions

Braid is undecidable — mentioned by jamesmiller5

Fri, 02 Oct 2015 17:58:20 GMT

If you didn't catch it in the article, it links to a proof of Braid the game's undecidability without use of it's time mechanics. http://arxiv.org/abs/1412.0784 I'd guess Super Mario Maker could be similar if monsters can infinitely spawn, be destroyed and interact with one another, skimming the paper it looks like a requirement.

Paper and discussion history. A mention is not an endorsement.

Braid is undecidable — HN submission

Fri, 02 Oct 2015 16:53:38 GMT

Braid is Turing Complete

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Braid is undecidable — mentioned by Sniffnoy

Tue, 02 Jun 2015 19:49:43 GMT

A note -- if you're linking to arXiv, it's better to link to the abstract (http://arxiv.org/abs/1412.0784) rather than directly to the PDF. From the abstract, one can easily click through to the PDF; not so the reverse. And the abstract allows one to do things like see different versions of the paper, search for other things by the same authors, etc. Thank you!

Paper and discussion history. A mention is not an endorsement.

Braid is undecidable — HN submission

Tue, 02 Jun 2015 13:58:02 GMT

Braid is undecidable (2014) [pdf]

136 points; 30 discussion replies on HN. Paper and source history. A submission is not an endorsement.