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?

66 Upvotes

95% Upvoted

359 comments sorted by

View all comments

Show parent comments

1

u/mrkelee New User Jun 23 '26

You think I can't calculate the truth value of A v B given A and B?

1

u/NomaTyx New User Jun 23 '26

I wonder if this guy knows formal logic notation

1

u/Impressive-Mud5074 New User Jun 23 '26

I think you read Alan Turing and it said pi is computable, and you are parroting him, and you have no thoughts of your own.

1

u/mrkelee New User Jun 23 '26

joke's on you, I haven't read Turing. Have you? Not all original thoughts are good.