home.social

#goedel — Public Fediverse posts

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

  1. Never thought, that these theoretical philosophical considerations would be applied by a dictator in my lifetime

    Gödel's Loophole
    en.wikipedia.org/wiki/G%C3%B6d

    Poppers paradox o tolerance
    en.wikipedia.org/wiki/Paradox_

    #goedel #popper #democracy

  2. Never thought, that these theoretical philosophical considerations would be applied by a dictator in my lifetime

    Gödel's Loophole
    en.wikipedia.org/wiki/G%C3%B6d

    Poppers paradox o tolerance
    en.wikipedia.org/wiki/Paradox_

    #goedel #popper #democracy

  3. I always believed that there is a formula for successful music (Gödel, Escher, Bach: an Eternal Golden Braid). Pieces everybody loves. Because such music exists. We all know it. We all love it.

    Now you feed music theory and the biggest hits of the past into an #AI model and out comes hit after hit #elevatormusic

    #Music as we know it will die.

    #Composer (s) will die.

    #Songwriter (s) will die.

    That will be the end of #humanity.

    #Goedel #Gödel #Escher #Bach

  4. ...as said, i am not done yet with the #hilberthotel

    first there was a simple #meme det.social/@mastomememakers/11
    then there was the elaboration det.social/@mastomememakers/11

    BEHOLD for now we enter the 4th DIMENSION
    ...basically still the same as a simple #hilbert #hotel

    #mamema #memes #philosophy #mathematics
    oh, kurt #goedel isnt all sure if that thing in the middle really is the main enterance.
    now, am i done here? -not yet :)

  5. @corbden So, this whole complex of ideas (#philosophy)a is connected to (among others) the concepts of #incompleteness (#Gödel #Goedel), #creativity #cognition #psychology #aesthetics #pedagogy #learning #AI #AGI and the limits of #algorithms and #formalization.
    There are known instances of physical entities for which it can be shown that they are not computable. I think human beings are like that and AGIs must be like that. The limits of the Turing-computable are not the limits of the possible.

  6. @corbden So, this whole complex of ideas (#philosophy)a is connected to (among others) the concepts of #incompleteness (#Gödel #Goedel), #creativity #cognition #psychology #aesthetics #pedagogy #learning #AI #AGI and the limits of #algorithms and #formalization.
    There are known instances of physical entities for which it can be shown that they are not computable. I think human beings are like that and AGIs must be like that. The limits of the Turing-computable are not the limits of the possible.

  7. @corbden So, this whole complex of ideas (#philosophy)a is connected to (among others) the concepts of #incompleteness (#Gödel #Goedel), #creativity #cognition #psychology #aesthetics #pedagogy #learning #AI #AGI and the limits of #algorithms and #formalization.
    There are known instances of physical entities for which it can be shown that they are not computable. I think human beings are like that and AGIs must be like that. The limits of the Turing-computable are not the limits of the possible.

  8. @corbden So, this whole complex of ideas (#philosophy)a is connected to (among others) the concepts of #incompleteness (#Gödel #Goedel), #creativity #cognition #psychology #aesthetics #pedagogy #learning #AI #AGI and the limits of #algorithms and #formalization.
    There are known instances of physical entities for which it can be shown that they are not computable. I think human beings are like that and AGIs must be like that. The limits of the Turing-computable are not the limits of the possible.

  9. @corbden So, this whole complex of ideas (#philosophy)a is connected to (among others) the concepts of #incompleteness (#Gödel #Goedel), #creativity #cognition #psychology #aesthetics #pedagogy #learning #AI #AGI and the limits of #algorithms and #formalization.
    There are known instances of physical entities for which it can be shown that they are not computable. I think human beings are like that and AGIs must be like that. The limits of the Turing-computable are not the limits of the possible.