Top Tweets for #Computability
Turing gave the machine a mind,
then proved no machine could ever contain one
In an infinite tape of logic he found the limits of logic itself.
A mind that defined computation... and transcended it.
#AlanTuring #TuringMachine #LimitsOfComputation #PhilosophyOfMind #Computability
Undecidability reminds us: some problems no AI can solve.
🔗 https://t.co/xatT70MhKD
📘 https://t.co/aPQtcobAvj
#Computability
One word domain https://t.co/i6Ur1THjN1 for sale for a special price at Sedo! Only for a short period for sale for this discounted price. #domain #domains #auction #oneworddomain #solvability #soluble #solve #computability #workability #decidability #practicality #solution
Computation and Its Limits explores the theoretical foundations of computer science
#TheoreticalComputerScience #Computability #Algorithms #ComplexityTheory #Mathematics #ComputerScience #TechEducation #NJDWebDownload #ReadOnline
Computable vs Non-Computable:
If a problem has an algorithm → computable,
If no algorithm can exist → impossible for computers.
Example: Halting Problem
TOC defines the physical limits of computing. https://t.co/NScxyFz1v2
#Algorithms #Computability
Turing’s Big Question
Can every problem be solved by a computer?
No.
Theory of Computation proves: Some problems are unsolvable forever — regardless of future technology.
This is deeper than programming.
This is philosophy of computing.
#TuringMachine #Computability
In auction for a short period of time: domain Solvability .xyz one word domain! Only at #dynadot #domain #domains #auction #oneworddomain #solvability #soluble #solve #computability #workability #decidability #practicality #solution #potential #easeofsolution
New Contribution: A Reminder – computability limits on “vibe coding” ABMs by Bruce Edmonds. https://t.co/Y5tw5KWb04 #rofasss #ABM #agentbased #programming #LLMs #AI #vibecoding #computability
Turing Machines & the Chomsky Hierarchy — Learn the cornerstone of what a computation is, extensions of Turing machines, and where computability models fit into the Chomsky Hierarchy.
https://t.co/PZWN1zOifC
#TuringMachine #Computability #ChomskyHierarchy
The project makes several strong claims:
– A uniqueness result for μ as a consistent info cost
– A “No Free Insight” theorem for narrowing search spaces
– A model that simulates Turing machines while exposing structure explicitly. #theory #Computability
Lex Fridman Podcast @lexfridman #settheory #infinity #godel #computability #philosophyofmath
#488 – Infinity, Paradoxes that Broke Mathematics, Gödel Incompleteness & the Multiverse – Joel David Hamkins [16:01]
https://t.co/N4r2zr8IRX
"#ComputerScientist: How to squeeze space into time"
* TimeComplexity:https://t.co/3iDabXPGQr ~P, NP, NP-hard, NP-Complete, NP-Store, PSPACE, PSPACE-Complete realms move closer to #ComputAbility+REAL problems+"useful sets" need
#ComputAbility+NP-STORE
https://t.co/7PmDUGq0xP
On the Fundamental Limits of LLMs at Scale
https://t.co/BUelE0gKcU
#computability #uncomputability #computable
#LawOfExcludedMiddle,#ZermeloFraenkelSetTheory{#ZF}
[#UltraFinitists seem right+#Complexity P, NP, NP-hard, NP-complete realms move closer to #ComputAbility & regardless of whether we can imagine #Infinite sets; "useful sets" need #ComputAbility+NP-STORE]
https://t.co/mZPV2hx5I4
The pdf of the extended abstract (more readable than the pics in the original post) is here👇🏼 too:
https://t.co/hfp1GqfwX9
Thanks again for your comments and suggestions.
#Computability #ProofTheory
4/
(Open Access) Incompleteness and Computability: An Open Introduction to Gödel's Theorems - https://t.co/STfLclMMwO
Look for "Read and Download Links" section to download. Follow me if you like this post.
#Incompleteness #Computability #GödelTheorems #Turing #math #mathematics
Any nontrivial semantic property of programs is undecidable. If a property depends on what a program computes (not just syntax), there’s no general decider. Reductions from Halting seal it. #RicesTheorem #Computability
published a deep dive on Unbounded Non-Determinism in concurrent systems! 🌀
Explore how infinite choices & timing can make systems unpredictable.
Read here 👉 https://t.co/pIwMkg8ibl
#Concurrency #DistributedSystems #Computability #Tech #blogs
Undecidable Problem = (Uncomputable Problem) + (Yes/No answer)
Decidable Problem = (Computable Problem) + (Yes/No answer)
Thus:
Undecidable problems MUST be uncomputable. Decidable problems MUST be computable.
$BTC $GEB #Turing #Computability
Last Seen Hashtags on Sotwe
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.8M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.3M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.8M followers
Taylor Swift
@taylorswift13
80.6M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.4M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.5M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers