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
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
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
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
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
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
Maryam Vareth, PhD 👩🏻💻@MaryamVarethCan’t wait for this book to come out by Bin Yu and @rlbarter 👩🏻🏫 #DataScienceTree #Prediction #Computability #Stability @UCBIDS #UCaiBio
039
HOLO@HOLO_mgDiscover AI's impact with HOLO 3 🖤, randomness in culture with HOLO 2 🎲, and the highlights of 2021 with our INDEX poster ✨. Get 25% off with code HOLOSUMMER! ↳ #AI #Art #Computability #ArtAndCulture #ArtAndTech013876
- 藤本圭一郎 🌏🚀👨🚀宇宙開発@bluedack@bluedack#WEB3 #Computability （計算可能性）のための #MachineReadableModel なんだよな。 そして、ひとつ上のレイヤーにおける汎用的な #API によるすべての技術者に高度なコードを行き届かせて組織を強くする。 そして組織の性格さえも変えていくんだよな。JAXA新卒/既卒採用 @jaxa_career112
JAXA新卒/既卒採用@jaxa_career【職員紹介】 入社15年目、つくば勤務の技術系職員の藤本さん（研究開発部門 革新的衛星技術実証グループ）をご紹介します！ 藤本さんの業務内容は、「小型実証衛星3号機」の開発と、モデルベース開発などのデジタル技術を活用した衛星開発の効率化です。 #JAXA #衛星開発 #デジタル (1/7)
120148
willa.life@willa_lifeA cutting-edge machine learning training experience in 5 days from leading experts in AI/ML to Finance #Computability #MachineLearning #QuantitativeFinance #Chaos #AlgorithmicTrading #Python #DataScience #quantitativetrading #fintech #quants #Econometrics002
- 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
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
George 🧐🧬سابا 🕊️🫶 Shiber@GeorgeShiberIn #Mathematics, #Mistakes Aren’t What They Used To Be via @NautilusMag #Computability .@JohnDCook .@JohnAllenPaulos)2410
- HOLO@HOLO_mgImmerse yourself in critical perspectives on AI with HOLO 3! Get 25% off with code HOLOSUMMER. 🚀 ↳ #AI #Art #Computability #ArtAndCulture0481.7K
- 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
Philosophical Logic@logicians"The Busy Beaver Problem: Can the impossible become practical?" Via Gödel's Lost Letter #math #logic #computability001- CSTheory SE@StackCSTheoryCan you answer this? Compressing information about the halting problem for oracle Turing machines #computability001
- Show more posts
