{1572} revision 0 modified: 09-05-2022 01:57 gmt

  • The Computational Origin of Representation (2019)
  • from Piantandosi, talks a big game... reviews some seminal literature ...
    • But the argument reduces to the established idea that you can represent boolean logic and arbitrary algorithms with Church encoding through S and K (and some tortuous symbol manipulation..)
    • It seems the Piantadosi was perhaps excited by discovering and understanding combinators?
      • It is indeed super neat (and i didn't wade so deep to really understand it), but the backtracking search procedure embodied in pyChuriso is scarcely close to anything happening in our brains (and such backtracking search is common in CS..)
      • It is overwhelmingly more likely that we approximate other Turning-complete computations, by (evolutionary) luck and education.
      • The last parts of the paper, describing a continuum between combinators, logic, calculus, tensor approximations, and neuroscience is ... very hand-wavey, with no implementation.
        • If you allow me to be hyypercritical, this paper is an excellent literature review, but limited impact for ML practitioners.