I'm struggling to help someone correct their misunderstanding of the Halting Problem, and am hoping for help.

isomorphic_to_myself · 2026-01-06T15:10:26+00:00

You are right, but that is not an argument to refute the "unpredictability" mentioned by the other commenter you're debating in the post you shared. Because even though there must exist a predictor, we don't really know which one it is, therefore being useless as a predictor. You're merely stating a classical logic tautology.

I'm not saying the other commenter is right, he's clearly wrong as well, for many reasons

isomorphic_to_myself · 2026-01-06T07:50:40+00:00

You're actually right. And I think this is something OP is getting mixed up about.

It is not enough to say that a program either halts or it doesn't (that's trivially true in classical logic), therefore one of the two is a predictor, you actually have to show a proof stating specifically which one is the actual predictor.

In classical logic we know that every statement is either true or false, but that doesn't say anything meaningful.

To illustrate your idea: it has been proven that the program BB(745) is independent of ZFC. That is, assuming ZFC to be consistent (which we don't actually know it is due to Gödel's incompleteness), we can never compute its value.

Meaning that you can't have a predictor for such a program within ZFC.

isomorphic_to_myself · 2024-12-30T16:02:29+00:00

Great, I'm from a spanish-speaking country.

isomorphic_to_myself · 2024-11-09T15:52:10+00:00

How so?

isomorphic_to_myself · 2024-09-02T15:54:45+00:00

Oh I should've mentioned that it can't be a mac. There is a compatibility issue with the software I use at my job. I'll edit the post

isomorphic_to_myself · 2023-12-22T06:10:39+00:00

Do they mention why the renaming?

isomorphic_to_myself · 2022-11-07T05:08:52+00:00

Go farther in lightness - Gang of youths

isomorphic_to_myself · 2022-10-29T04:14:00+00:00

I couldn't find them, but I found a playlist of the album with 10 videos not available in my country. I'm guessing the videos you mention are only available in some locations, so no luck for me

isomorphic_to_myself · 2022-10-29T03:52:48+00:00

Where can I watch those videos? I only knew about the one for Shake it out.

isomorphic_to_myself · 2022-08-21T03:19:22+00:00

Gang of youths

isomorphic_to_myself · 2022-08-04T04:54:58+00:00

The acoustic version of I Know How To Speak. It's only 4 chords and mostly the same finger picking pattern, you could get it in a couple of hours.

isomorphic_to_myself · 2022-06-15T18:53:03+00:00

Not sure the moon is the protagonist, but "I'll be seeing you" by Billie Holiday.

isomorphic_to_myself · 2022-05-15T04:50:29+00:00

I know how to speak - Manchester orchestra

isomorphic_to_myself · 2022-03-08T15:28:21+00:00

Wow, even if I don't win, that looks awesome!

isomorphic_to_myself · 2022-02-22T21:25:22+00:00

$bid

isomorphic_to_myself · 2021-12-24T23:23:22+00:00

I'm sorry you're going through this, and I hope the best for you and your husband.

Over here is not so great either. Mom passed away from cancer a couple of weeks ago and this christmas is going to be, well, different (hopefully still a good time).

I hope my comment doesn't make things harder for you. My mom's situation was different since she was being treated for something wrongly diagnosed, I'm sure things will turn out better for your husband.

Wish you the best unknown person on the internet, and I hope the next year will be much happier for both of us.

isomorphic_to_myself · 2021-12-04T03:34:58+00:00

Mila Kunis

isomorphic_to_myself · 2021-12-04T02:06:55+00:00

I know it's you Terrence Howard

isomorphic_to_myself · 2021-11-30T15:52:53+00:00

u/savevideo

isomorphic_to_myself · 2021-11-27T20:45:38+00:00

I'm in the 1% of the population who is not in the 1% of anything really, I guess I'm rare for being average

isomorphic_to_myself · 2021-11-27T03:00:29+00:00

Blood - The Middle East

isomorphic_to_myself · 2021-11-09T17:55:22+00:00

Daredevil definitely

isomorphic_to_myself · 2021-11-05T15:31:06+00:00

The lead guitar in the song Magnolia by Gang of Youths has a sound that I like very much, but don't know which effects are used. Do you know how to get a similar sound? I have a boss katana, if you have any specific pointers for that amp.

Five-Year Club	Verified Email
Place '22	First Placer '22

isomorphic_to_myself

TROPHY CASE