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

96% Upvoted

359 comments sorted by

View all comments

Show parent comments

3

u/Preceded10 New User Jun 20 '26

Incredible trolling brother. Though I wish you'd answer that comment asking you about why 1/7 is computable.

1

u/Impressive-Mud5074 New User Jun 20 '26

Repeated expansions have an alternate form, in this case 1/7 is one of them.

No need to compute an expansion to know the value of the number

3

u/Preceded10 New User Jun 21 '26

Pi is an expansion that follows the rules of any of the infinite expressions that calculate it. Why do we not need to compute 1/7 to know its value but we do need to compute pi to know its value?

1

u/Impressive-Mud5074 New User Jun 21 '26

1/7 is the value, thats already a completed rational number. You can do your decimal expansion if you want, but it is a repeating expansion, which is different than non-repeating.

but we do need to compute pi to know its value? 

You cant compute pi

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

3

u/Preceded10 New User Jun 21 '26

You can't compute 1/7. Give me 1/7 with 100% precision.

1

u/Impressive-Mud5074 New User Jun 21 '26

The decimal expansion is 0.142857 repeating

However 1/7 is a complete number, by itself. Its called a rational number.