Talk:Anarchysm

From Esolang
Jump to navigation Jump to search

would it be considered ok to improve the english of this Heavpoot (talk) 22:32, 22 October 2020 (UTC)

Also super-TC

Cuz you can do

pls solve the halting problem? :))

Rdococ (talk) 19:28, 28 April 2023 (UTC)

This proof is invalid as the program may always decide to not do super-TC things —CreeperBomb (interact in such a way to use diction in order to achieve the result of conversation or other form of communicating an idea or group of ideas between individuals including myself) 17:33, 3 July 2023 (UTC)
True, but the same logic applies to the TC proof, so if one is valid then so is the other. Rdococ (talk) 18:11, 20 September 2023 (UTC)
Yep. The program being able to always do/not do something makes the computability impossible to know. I'm just pointing it out for this specific case. —CreeperBomb (interact in such a way to use diction in order to achieve the result of conversation or other form of communicating an idea or group of ideas between individuals including myself) 23:41, 22 September 2023 (UTC)