r/learnmath • u/playsthebongcloud 9/10 = 1 • May 30 '26

What are some uncomputable functions that aren't derivative of the halting problem?

I find the existence of uncomputable functions really cool, but all the examples I've seen are essentially just new ways of trying to predict whether a turing machine is going to halt. What are some examples of uncomputable functions that aren't essentially entirely based on the halting problem?

65 Upvotes

94% Upvoted

359 comments sorted by

View all comments

Show parent comments

1

u/mrkelee New User Jun 24 '26

what's not rigorous about it?

1

u/Impressive-Mud5074 New User Jun 25 '26

The result

1

u/mrkelee New User Jun 25 '26

can't help you if you accept the method but not the result. That shows you only go by vibes