• 4 Posts
  • 53 Comments
Joined 2 years ago
cake
Cake day: June 27th, 2023

help-circle

  • Science writer Philip Ball observes,

    Just watched Eric Schmidt (former Google CEO) say “We believe as an industry… that within 3-5 years we’ll have AGI, which can be defined as a system that is as smart as [big deal voice] the smartest mathematician, physicist, [lesser deal voice] artist, writer, thinker, politician … I call this the San Francisco consensus, because everyone who believes this is in San Francisco… Within the next year or two, this foundation gets locked in, and we’re not going to stop it. It gets much more interesting after that…There will be computers that are smarter than the sum of humans”

    “Everyone who believes this is in San Francisco” approaches “the female orgasm is a myth” levels of self-own.





  • I’ve noticed the occasional joke about how new computer technology, or LLMs specifically, have changed the speaker’s perspective about older science fiction. E.g., there was one that went something like, “I was always confused about how Picard ordered his tea with the weird word order and exactly the same inflection every time, but now I recognize that’s the tea order of a man who has learned precisely what is necessary to avoid the replicator delivering you an ocelot instead.”

    Notice how in TNG, everyone treats a PADD as a device that holds exactly one document and has to be physically handed to a person? The Doylist explanation is that it’s a show from 1987 and everyone involved thought of them as notebooks. But the Watsonian explanation is that a device that holds exactly one document and zero distractions is the product of a society more psychologically healthy than ours…










  • Regarding the last bullet point, there’s always the argument from authority, i.e., appealing to a book with Feynman on the byline.

    Now when mathematicians first addressed these problems, their interest was more general than the practical limits of computation; they were interested in principle with what could be proved. The question spawned a variety of approaches. Alan Turing, a British mathematician, equated the concept of “computability” with the ability of a certain type of machine to perform a computation. Church defined a system of logic and propositions and called it effective calculability. Kleene defined certain so-called “general recursive propositions” and worked in terms of these. Post had yet another approach (see the problem at the end of this chapter), and there were still other ways of examining the problem. All of these workers started off with a mathematical language of sorts and attempted to define a concept of “effective calculability” within that language. Thankfully for us, it can be shown that all of these apparently disparate approaches are equivalent, which means that we will only need to look at one of them.

    From p. 54 of the Feynman Lectures on Computation, by Feynman, Hey and Allen (the latter two being the editors who turned the tape recordings of the lectures into a book several years after Feynman died). There’s a pretty lengthy discussion of Turing machines in chapter 3 that does introduce the halting problem.