Mira @_Mira___Mira_This Turing Machine halts iff ZFC is inconsistent. The initial state is 1.
013118
Posts with #Computability
#Computability
Public posts on X that use #Computability.
Related hashtags
HOLO@HOLO_mgImmerse yourself in critical perspectives on AI with HOLO 3! Get 25% off with code HOLOSUMMER. 🚀 ↳ #AI #Art #Computability #ArtAndCulture0481.7K
Luis Lamb@luislambBeautiful Logic Books: The Undecidable: Martin Davis (ed), 1965. #logic #computability
0818
Open Encyclopedia of Anthropology@anthroencyclo"#Computability always exists in creative tension with its others, from Aeschylus to Norbert Wiener" recaps A. Appadurai in this book review004
The Alan Turing Institute@turinginstDermot Turing: "In his lifetime he was famous as a computer pioneer, as founder of #ComputerScience and a branch of mathematics called #Computability. He was a logician, mathematical biologist, designer of computer logic, computer languages and computing machines." #TuringLegacy
0913
Louis Maddox@permutansWant…📓👀 (Stewart Shapiro's Thinking About Mathematics already on my to-read list!) According to GR reviews, 'ante rem structuralism' == Platonic realism in maths: ❝If mathematical objects are eternal and acausal, how does [spatiotemporally existent] human mind grasp them?❞
110- Louis Maddox@permutans@permutans🎬 Stewart Shapiro: "Open-texture, computability, and Church's thesis" (Church's Thesis: Logic, Mind, and Nature, @CopernicusCen, Kraków, 2012) #ChurchTuringThesis #computability102
Peter Gerdes@pmgerdesI really wanted a mask that expressed who *I* was so I ordered one with one of my theorems on it. (At one point my wife promised to get one of them as a tattoo but we've never gotten around to that). #Mathematics #Computability #Logic #Masks #Theorem (share your theorem masks!)
213
Happy Birthday Julia Hall Bowman Robinson (December 8, 1919 – July 30, 1985)! - an #American #mathematician noted for her contributions to #computability theory and computational #complexity theory–most notably in #decision problems. Was a 1983 MacArthur Fellow. #Womenintech
136
ᛕᎥᕼᗷᗴᖇᑎᗴ丅Ꭵᑕᔕ@Kihbernetics#HH_Pattee about the limits of #computability. No matter how many times I re-read his work, a new gem always pops up. This one is from:
14112.2K
Intelligent Artifacts@AI_ML_RIn dynamic environments, AI systems should have computable time-to-predictions to ensure end users are working with the most up-to-date relevant information for real-time operations. #blogpost #computability #responsibleAI01288- HOLO@HOLO_mgHOLO 3 is a critical examination of AI’s limits and possibilities. Save 25% with code HOLOSUMMER! 🤖 ↳ #AI #Art #Computability #ArtAndCulture
02121.1K 
- HackerNewsX@HackerNewsX@HackerNewsXThe comments highlight the challenge of grasping concepts like computability and the halting problem, and the difficulty is often due to misunderstandings akin to layman's views of particle physics. #computability HN:00017
What a beautiful definition of #computerscience. I often delve into into theology and Philosophy during my CS lectures... More so when I talk about #TuringMachines and notion of #computability that I feel like I am entering into realm of Parapsychology if not #pseudoscience.Fermat's Library @fermatslibraryWhat is the true nature of computer science? Robert S. Barton, an influential American computer scientist from the mid-20th century, had a unique take on this question. He mused that perhaps:015144
What is the true nature of computer science? Robert S. Barton, an influential American computer scientist from the mid-20th century, had a unique take on this question. He mused that perhaps:
2361352103K
QCon London Software Development Conference@qconlondon@KevlinHenney@KevlinHenney explores six impossible things that shape the limits of what we can develop, all the way from the smallest detail to the minefield of task estimation & prioritisation, via the uncertainty of #distributedsystems & the limits of #computability. #QConLondon
014
- HOLO@HOLO_mgHOLO 3 explores AI & art 🤖, HOLO 2 delves into randomness 🎲, and our INDEX 2021 poster captures ’21's highlights in poster form. Save 25% with code HOLOSUMMER! ↳ #AI #Art #Computability #ArtAndCulture #ArtAndTech004286
Sabrina Ouazzani@SabrinaOuazzaniUn peu de promotion pour la calculabilité 😉 et les femmes en sciences 💪 #fwis #computabilityFlorence @CodingMummy@SabrinaOuazzani 😜 lauréate bourse #fondationLoreal @UNESCO_fr @Loreal et #femmesInformatique : itw dans le prochain #1024 bulletin de @SocInfoFr @FemmesNumerique @FemmesSciences4110
Florence@CodingMummy@SabrinaOuazzani@SabrinaOuazzani 😜 lauréate bourse #fondationLoreal @UNESCO_fr @Loreal et #femmesInformatique : itw dans le prochain #1024 bulletin de @SocInfoFr @FemmesNumerique @FemmesSciences026
logicasbrasileiras@logicasbrasile1sequiturquodlibet @antitheoremThe research group CAROL has a new logo!008136
Stephen Oladeji@RealSaintStevenComputable Vs Non-Computable Problems Can computer solve all kinds of problem? What type of problem can computer solve? 👇👇👇 #ShortThread #Computability #Complexity #ComplexTheory #ComputationalProblem #AI316- Stephen Oladeji@RealSaintSteven@RealSaintStevenNon computable functions are those that lack any of the above attributes. e.g. Modelling human emotion is a non-computable problem. Computability of a problem is closely linked to the existence of an algorithm to solve the problem. #Computability #Complexity #ComplexTheory #AI111
- Stephen Oladeji@RealSaintSteven@RealSaintStevenNon-Computable Problems: These are actually problems that the computer can't solve no matter what happens (ie there is no algorithm that can be used to solve it). These are: 1. Halting Problem 2. The Totality problem #HaltingProblem #Computability #Complexity #ComplexTheory #AI
101 - Show more posts
