this post was submitted on 08 Feb 2024
118 points (100.0% liked)
memes
22774 readers
10 users here now
dank memes
Rules:
-
All posts must be memes and follow a general meme setup.
-
No unedited webcomics.
-
Someone saying something funny or cringe on twitter/tumblr/reddit/etc. is not a meme. Post that stuff in [email protected], it's a great comm.
-
Va*sh posting is haram and will be removed.
-
Follow the code of conduct.
-
Tag OC at the end of your title and we'll probably pin it for a while if we see it.
-
Recent reposts might be removed.
-
No anti-natalism memes. See: Eco-fascism Primer
founded 4 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
The solution is obvious. For the top track, Number each person that would be killed, and add a device to the front of the trolley such for each enumerated person reached, it will save them if the corresponding Turing Machine in standard enumeration halts. This has become an instance of the halting problem and thus the trolley cannot run.
Similarly, the bottom rail is even easier. Add a device that will save the person that is represented by the real number whose value can be decoded as the set of turing machines that halt. Once again we have an instance of the halting problem and, once again, the trolley cannot run.
I'm afraid the trolley conductor is a beaver
No, beavers are too busy.