📚 Turing also answered Hilbert’s Entscheidungsproblem:
Is there a general algorithm to decide the truth of any math statement?

Answer: No.
No such universal decision method exists.

#Math #undecidable

4/🧵

📌 In other words:
There’s no algorithm that can always decide if a program halts or runs forever.

That’s the halting problem:
A concrete example of an undecidable problem in computation.

#HaltingProblem #undecidable

2/🧵

In today's episode of coding masochism, let's defy the laws of logic by writing an #oracle in #Lisp, because who doesn't love playing god with #undecidable problems? 🚀🤖 Spoiler alert: by the time you've deciphered this jargon-filled treatise, the universe will have moved on, rendering your newfound 'insights' as helpful as a screen door on a submarine. 🧙‍♂️🔮
https://lambda-cove.net/posts/truth-oracle-lisp/ #codingmasochism #problems #techhumor #HackerNews #ngated

🤔 Ah, the noble quest to explain "undecidable" to the masses, because who *doesn't* crave a late-night deep dive into computational theory between Netflix episodes? 🙄 Somehow, this riveting exposé manages to blend the thrill of academic jargon with the charm of a tax seminar. 🎉
https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/ #undecidable #computationaltheory #late-nightreads #academicjargon #techhumor #HackerNews #ngated

What does "Undecidable" mean, anyway

https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/

#HackerNews #Undecidable #Meaning #Logic #Philosophy #Math #Concepts

The true story about #Gödel no-one wants you to know: He died starving because choosing what food to order was an #undecidable problem.

@sozialwelten

Hi, SocialWorlds. Your post ended in my “Home” timeline probably because of the #information(en) hashtag, and even if I don’t speak German it looked interesting so I “had” to translate it and respond. Hope you don’t mind :-)

#Distinction of #undecidable #questions in #known and #unknown #conditions of their #relevance.
#hypothetical / #factual
#Factually meant as a #question for #data as not yet known #information
#known / #unknown
In the case of #functional systems such as #economy, #religion, #art and #politics, only #facts are missing. How they are to be #understood is #clear.
In the case of #meaning and #ecology, #decisive #factors are #unclear.

In my opinion #data=#facts. You can’t argue about facts the same way you can’t really argue about the “hard data” (numbers, graphs) in front of you.

What you can argue about is the interpretation of that data, or the different private #information every one of us will extract from the same set of data (facts) in front of us. What information is derived from the data depends on the different #knowledge(s) each one of us has about the world.

reduction to #haltingproblem => (for Turing complete language), finding all possible #runtime errors in an arbitrary program is #undecidable: there is no mechanical method that can always answer truthfully whether an arbitrary program may or may not exhibit runtime errors.