#raymondsmullyan — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #raymondsmullyan, 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
-
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
-
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
-
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
-
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
-
From @zarfeblong The Tic-Tac-Toe Mysteries of Xerloc O'Xolmes https://blog.zarfhome.com/2024/08/tic-tac-toe-mysteries - in the spirit of #RaymondSmullyan #SherlockHolmes #LogicPuzzles #GameTheory #Smullyan #TicTacToe #NoughtsAndCrosses #Games #Puzzles #Python