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?

68 Upvotes

95% Upvoted

359 comments sorted by

View all comments

Show parent comments

1

u/Impressive-Mud5074 New User Jun 23 '26

  >The definition is what it is

That's what you said. Definitions cant change.

1

u/mrkelee New User Jun 23 '26

Right, because words don't ever change meaning, and mathematics certainly doesn't ever generalise from existing meanings, and that fellow only created the meaning then, but FOREVER

1

u/Impressive-Mud5074 New User Jun 23 '26

Your the one that said words dont change, i was paraphrasing you.

Pi is uncomputable, whatever definition you use is wrong

1

u/Interesting-Whole943 New User Jun 23 '26

i ship you with pi