1
Are you asking if there's an out of the box library that solves the halting problem?
Yeah, I am asking if there's an out of the box library that solves the halting problem.
- they/them
- youtube.com/c/MicolitheSA
| Micolithe |
|---|
| Agender |
| 36 years old |
| Philadelphia, PA |
 |
| Last Login: 08/30/2007 |
Agender Enby, Trans, Gay, AND the bearer of the gamer's curse. Not a man, not a woman, but instead I am puppy.
I got a fat ass and big ears.
--
Yes I did the cooking mama Let's Play way back when. I post alot about Tech (mostly how it sucks) and Cooking and Music and Television Shows and the occasional Let's Play video
💖@FadeToZac
--
We all do what we can ♫
So we can do just one more thing ♫
We can all be free ♫
Maybe not in words ♫
Maybe not with a look ♫
But with your mind ♫
Youtube
youtube.com/user/MicolitheSATwitch
twitch.tv/micolithe
You must log in to comment.
in reply to @zenoverflow's post:
what if you could write a program that would tell you when the halting problem would be solved?
Oh, computer scientists already made one! Unfortunately, due to technical limitations, it can't predict the answer. But it will print "solved!" as soon as the answer is found! Here it is:
loop {}
println!("solved!");
There is! A lovely gentleman named Borges wrote about it once, but it's a resource hog, and it has a few UX issues that make it very impractical for general use.
ok ok ok but you can probably do static analysis to determine if some programs definitely halt, and other programs might or might not right?
we once talked to Edwin Brady, who wrote Idris, about a notion we had at the time that it matters whether the compiler terminates. he said in practice if it doesn't, the programmer will hit ^C and everything will be fine. we're convinced he was right, at least for that scenario.