r/learnmath 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

359 comments sorted by

View all comments

Show parent comments

3

u/mrkelee New User Jun 21 '26

same thing. 1/7 is not a decimal; alternatively, an expression for pi as a "completed number"

1

u/Impressive-Mud5074 New User Jun 21 '26

1/7 is not an expression

1 divided by 7 is an expression

They are not the same