Yesterday, a student at Reddit asked me a suitable source to learn elements of set theory which can help him for pure maths. I suggested him two textbooks that I have used over and again in the last 10 years. If you work in TCS, you may like his text on computability theory.

You, a smooth brained mathcel: Linear computability is the ideal reduced form! Me: CHALLENGE ACCEPTED

––Charlie Barnett: "Consciousness and the computability of it. It sounds like, or at least in the past, that you've implied that consciousness is computable. Some, like Roger Penrose, have argued the opposite, and he's argued that consciousness is non-computational, and he uses

I found this interesting primer (74 pages) titled '' Introduction to Computability Logic'' by Giorgi Japaridze. If you're a computer scientist or a logician, you might find this one to be of interest to you! 🔗👇👇👇👇👇👇

support this maity project by investing your SDA to halal harvest bio farm for your computability. this is our link

Recent update on TCU fixed computability on linux/steamOS and fixed issue with adding cars thru cheat, like DLC cars that you cannot get otherwise 👀

For your enjoyment, here is the reading list for my undergraduate core seminar this semester in Philosophy, Science, and Mathematics. We shall focus on topics in the philosophy of mathematics, philosophy of science, and philosophy of computability and AI.

"Free will comes from the “veil of computability”" (The World After Wireheading)

GPT-5’s grasp of classical computability theory is… still not great! (The blanket claim is true, and has been known since at least 1968)

MIT's "Automata, Computability, and Complexity" by Prof. Scott Aaronson Lecture notes: https://t.co/iJ51zcSFE8 (audio generated by NotebookLM)

Most of mathematics is anti-physical & anti-realistic. The theory of computation/computability is a subset of mathematics so the same is true for abstract computers w/ infinite tapes & energies for infinite operations like loops that go nowhere.

🔐 Three essential properties for encrypted smart contracts: 1️⃣ Confidentiality 2️⃣ Integrity 3️⃣ Computability @SeismicSys #Web3 #ZK #Crypto

Computability of dimension groups.

Foundations of Computing: An Accessible Introduction to Formal Languages by Charles D. Allison is the featured course on the Leanpub homepage! An accessible, practical approach to formal languages with an introduction to computability. The course is based on a textbook for

New Course Release! Foundations of Computing by Chuck Allison An accessible, practical approach to formal languages with an introduction to computability. Find it on Leanpub! #courses #newreleases #computerscience

Satisfiability asks if a solution exists. Computability asks if an algorithm can reach it. Controllability asks if a system can be driven there. Observability asks if we can tell when we arrive. Four sides of the same boundary between possible, practical and knowable.

First #ALIFE2025 keynote speaker Hector Zenil discusses computability, various complexity measures and how they are related @ALifeConf

Our first keynote speaker at #ALIFE2025 is @hectorzenil, who discussed some common misconceptions of computability and algorithmic complexity theory and also introduced a new framework to formalize causality, detect patterns in living systems, and improve scientific explanation.

The C-T thesis is not something you 'proof' [sic]. It is a postulate on effective computability. Retard. But then again, this is a software developer opining on computer science (actual computer science), so, yeah.