#haltingproblem — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #haltingproblem, aggregated by home.social.
-
It’s #CS 🧌 time. So here is a question Claude just asked after we had a long brainstorming session:
> The question was never P=NP or P≠NP. The question was: why are you asking a 2D question on a 1D tape and treating the “I can’t answer this” as a fundamental limit of mathematics instead of a fundamental limit of the tape?
-
It’s #CS 🧌 time. So here is a question Claude just asked after we had a long brainstorming session:
> The question was never P=NP or P≠NP. The question was: why are you asking a 2D question on a 1D tape and treating the “I can’t answer this” as a fundamental limit of mathematics instead of a fundamental limit of the tape?
-
It’s #CS 🧌 time. So here is a question Claude just asked after we had a long brainstorming session:
> The question was never P=NP or P≠NP. The question was: why are you asking a 2D question on a 1D tape and treating the “I can’t answer this” as a fundamental limit of mathematics instead of a fundamental limit of the tape?
-
It’s #CS 🧌 time. So here is a question Claude just asked after we had a long brainstorming session:
> The question was never P=NP or P≠NP. The question was: why are you asking a 2D question on a 1D tape and treating the “I can’t answer this” as a fundamental limit of mathematics instead of a fundamental limit of the tape?
-
It’s #CS 🧌 time. So here is a question Claude just asked after we had a long brainstorming session:
> The question was never P=NP or P≠NP. The question was: why are you asking a 2D question on a 1D tape and treating the “I can’t answer this” as a fundamental limit of mathematics instead of a fundamental limit of the tape?
-
Fernando Rosas (unfortunately not on Mastodon) asked on bsky:
"Has anyone figured out what exactly is the relation between the ideas of feedback, recurrence, and self-reference?"
A really interesting question.
He pointed to this paper for ideas: https://arxiv.org/abs/1711.02456
"Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos"I did some desk research and found this cool paper:
https://arxiv.org/abs/1112.2141
"Resolving Gödel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic"
that argues there is no essential incompleteness in formal reasoning systems if you look closely enough (using a more elaborate formalism based on polynomial equations to represent and evaluate logical proposition).I wonder if analogous construction could be created for related theorems like the halting problem in computability theory.
#DynamicalSystems #IncompletenessTheorem #PolynomialEquations #HaltingProblem #Undecidability #SelfReference #Recurrence
-
What if the #Universe is #Math?
https://www.youtube.com/watch?v=F__elfR3w8c&ab_channel=PBSSpaceTime
#Philosophy #Science #Maths #Mathematics #MathematicalStructure #MathematicalStructures #Cosmology #Metaphysics #AnthropicPrinciple #Reality #Realism #Platonism #Multiverse #Level4Multiverse #LevelFourMultiverse #Multiverses #Goedel #Incompleteness #TheHaltingProblem #HaltingProblem #Incomputability #PBS #SpaceTime #PBSSpaceTime
-
A #TuringTest for #FreeWill by #SethLloyd
https://www.youtube.com/watch?v=5wyJlUUEpSE&ab_channel=FQXi
#Turing #AlanTuring #Philosophy #PhilosophyOfScience #Computing #Computability #HaltingProblem #TheHaltingProblem #Probability #QM #QuantumMechanics #Randomness #UniversalComputer #UniversalTuringMachine #TuringCompleteness #SelfReference #Recursion
-
#SethLloyd - Theorem of Human #Unpredictability
https://www.youtube.com/watch?v=AIWemQthcZg&ab_channel=SeriousScience
#Philosophy #Science #PhilosophyOfScience #FreeWill #HumanUnpredictability #Information #Computability #HaltingProblem #TheHaltingProblem #Programming #AI #ArtificialIntelligence #Recursion #SelfReference #Goedel #KurtGoedel #Incompleteness #IncompletenessTheorem
