Baraza
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
@tomasz@lemmy.ml to Asklemmy@lemmy.ml • 3 years ago

How should we evaluate the sentence ‘What this sentence says is true’?

message-square
7
fedilink
1
message-square

How should we evaluate the sentence ‘What this sentence says is true’?

@tomasz@lemmy.ml to Asklemmy@lemmy.ml • 3 years ago
message-square
7
fedilink
alert-triangle
You must log in or register to comment.
  • @electric_nan@lemmy.ml
    link
    fedilink
    1•3 years ago

    The following sentence is true. The previous sentence is false.

  • @hfkldjbuq@beehaw.org
    link
    fedilink
    1•3 years ago

    Aristoteles: “just because”

  • Nutomic
    link
    fedilink
    1•3 years ago

    We shouldnt evaluate it, or otherwise our operating system might crash.

  • मुक्त
    link
    fedilink
    1•3 years ago

    Start by addressing the assumption that sentences can be evaluated.

  • @10_0@lemmy.ml
    link
    fedilink
    1•
    edit-2
    7 months ago

    deleted by creator

  • ☆ Yσɠƚԋσʂ ☆
    link
    fedilink
    0•3 years ago

    https://en.m.wikipedia.org/wiki/Gödel's_incompleteness_theorems

    • @AgreeableLandscape@lemmy.ml
      link
      fedilink
      1•
      edit-2
      3 years ago

      Ah yes. The halting problem of English.

      Actually, are languages Turing complete? I feel like they’re complex and interactive enough to be. Searching it up only gave results about programming languages, not human languages.

      • ☆ Yσɠƚԋσʂ ☆
        link
        fedilink
        1•3 years ago

        I would guess that all human languages would be Turing complete. Human languages are a byproduct of how human mind processes information, so they share core constructs.

Asklemmy@lemmy.ml

!asklemmy@lemmy.ml

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !asklemmy@lemmy.ml

A loosely moderated place to ask open-ended questions

Search asklemmy 🔍

If your post meets the following criteria, it’s welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

  • !lemmy_support@lemmy.ml
  • !fediverse@lemmy.ml
  • !selfhosted@lemmy.world

Looking for a community?

  • Lemmyverse: community search
  • sub.rehab: maps old subreddits to fediverse options, marks official as such
  • !lemmy411@lemmy.ca: a community for finding communities

Icon by @Double_A@discuss.tchncs.de

  • 461 users / day
  • 1.63K users / week
  • 4.18K users / month
  • 12.6K users / 6 months
  • 48.1K subscribers
  • 6.06K Posts
  • 150K Comments
  • Modlog
  • mods:
  • Evan
  • mekhos
  • Tmpod
  • OrangeSlice
  • BE: 0.19.3
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org