home.social
Sign in Create account

#entscheidungsproblem — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #entscheidungsproblem, aggregated by home.social.

  1. alexanderadam @[email protected] ·

    Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩

    rosa.codes/machines2025/

    #brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan

    #brightonruby #rubyconference #rubyprogramming #godelianriddle #goedelianriddle #entscheidungsproblem
  2. alexanderadam @[email protected] ·

    Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩

    rosa.codes/machines2025/

    #brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan

    #brightonruby #rubyconference #rubyprogramming #godelianriddle #goedelianriddle #entscheidungsproblem
  3. alexanderadam @[email protected] ·

    Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩

    rosa.codes/machines2025/

    #brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan

    #brightonruby #rubyconference #rubyprogramming #godelianriddle #goedelianriddle #hilbertsprogram
  4. alexanderadam @[email protected] ·

    Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩

    rosa.codes/machines2025/

    #brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan

    #raymondsmullyan #smullyan #turingmachine #brightonruby2025 #entscheidungsproblem #decidability
  5. alexanderadam @[email protected] ·

    Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩

    rosa.codes/machines2025/

    #brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan

    #brightonruby #rubyconference #rubyprogramming #godelianriddle #goedelianriddle #entscheidungsproblem
  6. Jan :rust: :ferris: @[email protected] ·

    How This One Question Breaks Computers - by Up and Atom:

    farside.link/https://www.youtu
    (or YT: youtube.com/watch?v=sG0obNcgNJ)

    Such a great and creative explanation! ✨

    You'll love it!

    When viewing this related to modern #AI promises, we really should be more #humble.

    #Computing #Math #mathematics #HaltingProblem #Turing #Entscheidungsproblem

    #ai #humble #computing #math #mathematics #haltingproblem