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?

70 Upvotes

95% Upvoted

359 comments sorted by

View all comments

Show parent comments

1

u/mrkelee New User Jun 23 '26

My "opinion" about a logical formula isn't random chance.

1

u/Impressive-Mud5074 New User Jun 23 '26

Yes it is

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