GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 04-Nov-2023 10:01:14 JST

  1. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 04-Nov-2023 10:01:14 JST LEdoian LEdoian
    in reply to
    • Sexy Moon
    • Haelwenn /элвэн/ :triskell:

    @lanodan @Moon I think we just got stuck on some minor misunderstanding. Moon said that all Turing machines are equivalent at computation. You remarked that for memory-constrained programs that is not the case, and the Turing machine does not exist IRL. And to that I argued that there are only finite computers IRL, therefore equivalent to finite-state machines, finite automata, regular expressions…, which are also all equivalent at computation :-)

    In conversation 2 years ago from gnusocial.jp permalink

Feeds

  • Activity Streams
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.

Embed this notice