Updated: Paper says a single binary operator could replace a lot of scientific heavy lifting
  • mindbleach@sh.itjust.worksEnglish
    1·
    9 天前

    Yeah, lambda calculus.

    Obviously this is different, and… delightfully goofy. Like transcendentals and logarithms are commonplace and difficult to derive, so what if we defined the machine in terms of both at once?