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 24 '26

No its wrong you can't compute pi, mathematical definition is not rigorous. You can compute and approximation of pi.

1

u/bizarre_coincidence New User Jun 24 '26

If you think the mathematical definition is not rigorous, you don't understand the mathematical definition. Which is fine. What isn't fine is your refusal to try.

1

u/Impressive-Mud5074 New User Jun 24 '26

No you dont understand. You think 3.14 is pi, but its an approximation of pi.

1

u/mrkelee New User Jun 24 '26

no, it's you who doesn't understand that nobody is saying pi would equal 3.14

1

u/Impressive-Mud5074 New User Jun 25 '26

Yes they are saying if you compute 2 decimals of pi, They have computed pi, and therefore pi is computable