#decidability — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #decidability, aggregated by home.social.
-
Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩
https://rosa.codes/machines2025/
#brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan