home.social

#selfreference — Public Fediverse posts

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

  1. No? Maybe #RNA would be better:

    GA GAUU GACUAUU

    Now we can write a recursive self-replicating virus and put it in an actual virus! :D

    Talk about self-reference...

    #biology #biocomputing #selfreference #recursion #virus #replication #computing #computerscience #programming #programminghumor

  2. Fernando Rosas (unfortunately not on Mastodon) asked on bsky:

    "Has anyone figured out what exactly is the relation between the ideas of feedback, recurrence, and self-reference?"

    A really interesting question.

    He pointed to this paper for ideas: arxiv.org/abs/1711.02456
    "Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos"

    I did some desk research and found this cool paper:
    arxiv.org/abs/1112.2141
    "Resolving Gödel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic"
    that argues there is no essential incompleteness in formal reasoning systems if you look closely enough (using a more elaborate formalism based on polynomial equations to represent and evaluate logical proposition).

    I wonder if analogous construction could be created for related theorems like the halting problem in computability theory.

    #DynamicalSystems #IncompletenessTheorem #PolynomialEquations #HaltingProblem #Undecidability #SelfReference #Recurrence

  3. I finally found time to read Douglas Hofstadter's blisteringly critical essay on large language models. As usual, he makes excellent points, and supports them with precise and well thought out arguments.

    It is, then, merely a wonderful bonus that the essay is centered around Hofstadter critiquing an AI which is in turn pretending to be Hofstadter writing about GEB. There are at least two interwoven levels of self-reference here. Bravo!

    #AI #SelfReference #HashTag

    theatlantic.com/ideas/archive/

  4. My (yummy) dinner tonight involved a self-referential definition of “chicken flavor”… go @OregonFreezeDry !
    #recursion #backpacking #selfreference #chickenflavor

  5. @eirikbakke I saw on Twitter you were saying about how Tupper's formula isn't really self-referential. I thought you might like this page: jtra.cz/stuff/essays/math-self

    It turns out that Tupper went on to make a formula that really was self-referential. And then Jakub Trávník made a self-referential formula which uses smooth functions to implement a nice typeface.

    #Math #Mathematics #Maths #SelfReference

  6. Fernando Rosas (unfortunately not on Mastodon) asked on bsky:

    "Has anyone figured out what exactly is the relation between the ideas of feedback, recurrence, and self-reference?"

    A really interesting question.

    He pointed to this paper for ideas: arxiv.org/abs/1711.02456
    "Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos"

    I did some desk research and found this cool paper:
    arxiv.org/abs/1112.2141
    "Resolving Gödel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic"
    that argues there is no essential incompleteness in formal reasoning systems if you look closely enough (using a more elaborate formalism based on polynomial equations to represent and evaluate logical proposition).

    I wonder if analogous construction could be created for related theorems like the halting problem in computability theory.

    #DynamicalSystems #IncompletenessTheorem #PolynomialEquations #HaltingProblem #Undecidability #SelfReference #Recurrence

  7. Fernando Rosas (unfortunately not on Mastodon) asked on bsky:

    "Has anyone figured out what exactly is the relation between the ideas of feedback, recurrence, and self-reference?"

    A really interesting question.

    He pointed to this paper for ideas: arxiv.org/abs/1711.02456
    "Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos"

    I did some desk research and found this cool paper:
    arxiv.org/abs/1112.2141
    "Resolving Gödel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic"
    that argues there is no essential incompleteness in formal reasoning systems if you look closely enough (using a more elaborate formalism based on polynomial equations to represent and evaluate logical proposition).

    I wonder if analogous construction could be created for related theorems like the halting problem in computability theory.

    #DynamicalSystems #IncompletenessTheorem #PolynomialEquations #HaltingProblem #Undecidability #SelfReference #Recurrence

  8. Fernando Rosas (unfortunately not on Mastodon) asked on bsky:

    "Has anyone figured out what exactly is the relation between the ideas of feedback, recurrence, and self-reference?"

    A really interesting question.

    He pointed to this paper for ideas: arxiv.org/abs/1711.02456
    "Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos"

    I did some desk research and found this cool paper:
    arxiv.org/abs/1112.2141
    "Resolving Gödel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic"
    that argues there is no essential incompleteness in formal reasoning systems if you look closely enough (using a more elaborate formalism based on polynomial equations to represent and evaluate logical proposition).

    I wonder if analogous construction could be created for related theorems like the halting problem in computability theory.

    #DynamicalSystems #IncompletenessTheorem #PolynomialEquations #HaltingProblem #Undecidability #SelfReference #Recurrence

  9. Fernando Rosas (unfortunately not on Mastodon) asked on bsky:

    "Has anyone figured out what exactly is the relation between the ideas of feedback, recurrence, and self-reference?"

    A really interesting question.

    He pointed to this paper for ideas: arxiv.org/abs/1711.02456
    "Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos"

    I did some desk research and found this cool paper:
    arxiv.org/abs/1112.2141
    "Resolving Gödel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic"
    that argues there is no essential incompleteness in formal reasoning systems if you look closely enough (using a more elaborate formalism based on polynomial equations to represent and evaluate logical proposition).

    I wonder if analogous construction could be created for related theorems like the halting problem in computability theory.

    #DynamicalSystems #IncompletenessTheorem #PolynomialEquations #HaltingProblem #Undecidability #SelfReference #Recurrence

  10. My (yummy) dinner tonight involved a self-referential definition of “chicken flavor”… go @OregonFreezeDry !
    #recursion #backpacking #selfreference #chickenflavor

  11. My (yummy) dinner tonight involved a self-referential definition of “chicken flavor”… go @OregonFreezeDry !
    #recursion #backpacking #selfreference #chickenflavor

  12. My (yummy) dinner tonight involved a self-referential definition of “chicken flavor”… go @OregonFreezeDry !
    #recursion #backpacking #selfreference #chickenflavor

  13. My (yummy) dinner tonight involved a self-referential definition of “chicken flavor”… go @OregonFreezeDry !
    #recursion #backpacking #selfreference #chickenflavor