Doesn't Turing completeness require conditional loops?
Considering the fact that he has AND and OR gates he can represent conditionals, but he doesn't show it. And the fact that it always terminates by design also means it solves the halting problem which by definition means it isn't Turing complete (I think?).
Cities: Skylines Is Turing Complete
81–90 of 124 posts
Re: Cities: Skylines Is Turing Complete
#82Earlier quoted context omitted.
Don't forget the $150 dlc, that is probably not included. And the base game is pretty minimal
Development needs resources. I don't see why there is so much hate towards well crafted DLC content. The base game is great as it is, and nobody forces you to buy the DLC.
DLC released every few months which adds new features or mechanics is perfectly fine. I'm not sure if its still the case by Skyline's team used to release DLC in two parts, a bit for a free and an extra bit you had to pay for, they do it really really well.
Generally there's a stigma around DLC cut out of the original game to be sold as extras on top, See anything EA / Ubisoft crap out.
Re: Cities: Skylines Is Turing Complete
#83A similar thing is described in Cixin Liu's "The Three Body Problem", where soldiers holding flags emulate the circuitry of a computer.
Re: Cities: Skylines Is Turing Complete
#84Earlier quoted context omitted.
Don't forget the $150 dlc, that is probably not included. And the base game is pretty minimal
Development needs resources. I don't see why there is so much hate towards well crafted DLC content. The base game is great as it is, and nobody forces you to buy the DLC.
The issue is that DLC is an umbrella term that applies to both exploitative micro-transactions as well as what used to be known as "expansions"
Re: Cities: Skylines Is Turing Complete
#85Doesn't Turing completeness require conditional loops? Considering the fact that he has AND and OR gates he can represent conditionals, but he doesn't show it. And the fact that it always terminates by design also means it solves the halting problem which by definition means it isn't Turing complete (I think?).
What do you mean by "it always terminates by design?"
However, as the comments to the post say, the author should provide a proof that the "game physics" allows to construct a functioning latch from these logic gates.
Conditional loops are not essential: the lambda calculus is TC despite lacking any loop primitives.
Re: Cities: Skylines Is Turing Complete
#86Doesn't Turing completeness require conditional loops? Considering the fact that he has AND and OR gates he can represent conditionals, but he doesn't show it. And the fact that it always terminates by design also means it solves the halting problem which by definition means it isn't Turing complete (I think?).
He built an adder, which does always complete(by design). But having the ability to build AND and NOT gates(which he demonstrates) should be enough to build any computer from just those 2 components[1]. I'm not familiar with the game to comment on the correctness of the AND + NOT implementation itself though:
If NOT is modeled by flooding a power plant and causing it to turn off, would it go back to being on after a while if we stop actively flooding it? Ie, If the input goes to 0, does the output go back to 1 or not? If this doesn't hold then it's not a proper NOT gate to begin with(turns 1 to 0 but doesn't turn 0 to 1) and the implementation is flawed.
[1] https://stackoverflow.com/questions/4908893/what-logic-gates...
Re: Cities: Skylines Is Turing Complete
#87Doesn't Turing completeness require conditional loops? Considering the fact that he has AND and OR gates he can represent conditionals, but he doesn't show it. And the fact that it always terminates by design also means it solves the halting problem which by definition means it isn't Turing complete (I think?).
What do you mean by "it always terminates by design?" However, as the comments to the post say, the author should provide a proof that the "game physics" allows to construct a functioning latch from these logic gates. Conditional loops are not essential: the lambda calculus is TC despite lacking any loop primitives.
In theory you can build a latch using only NAND gates, so it should be possible unless the gates that are demonstrated are flawed somehow, see my sibling comment.
Re: Cities: Skylines Is Turing Complete
#88A similar thing is described in Cixin Liu's "The Three Body Problem", where soldiers holding flags emulate the circuitry of a computer.
I really enjoyed that part of the book. If I remember correctly, the soldiers were just representations of the Trisolarans as they were too alien for us to identify with. The actual Trisolarans emitted light to build their living computer.
Re: Cities: Skylines Is Turing Complete
#89If anyone is looking to buy this game, it's currently on sale at Humble Bundle for $7.50. https://www.humblebundle.com/store/cities-skylines
Any experience running it on Linux? Using Wine?