8 Matching Annotations
  1. Jun 2018
    1. Player A's role is to trick the interrogator into making the wrong decision, while player B attempts to assist the interrogator in making the right one.

      Why are these roles gendered, the man always dissembling, the woman assisting?

  2. Jul 2017
  3. Jan 2017
    1. Like many other AI practitioners, I’m a philosophical functionalist: I believe that a cognitive state, such as one derived from reading, should not be defined by what it is made of in terms of hardware or biology, but instead by how it functions, in relation to inputs, outputs and other cognitive states. (Opponents of functionalism include behaviourists – who insist that mental states are nothing other than dispositions to behave in certain ways – and mind-brain identity theorists – who argue that mental states are identical with particular neural states, and are tied to specific biological ‘hardware’.)

      La idea de dependencia en un "hardware" biológico es la más cercana a mi perspectiva. La funcionalista se acerca al test de Turing y proponentes similares.

  4. Jun 2016
    1. Il en appelait à des « oracles » : With the help of the oracle we could form a new kind of machine (call them o-machines), having as one of its fundamental processes that of solving a given number-theoretic problem. (Turing, 1939 : 161)

      les oracles pour répondre au non-calculable, non-computationnel.

  5. Oct 2015
    1. Nearly all ap­pli­ca­tions of prob­a­bil­ity to cryp­tog­ra­phy de­pend on the fac­tor prin­ci­ple (or Bayes’ The­o­rem).

      This is easily the most interesting sentence in the paper: Turing used Bayesian analysis for code-breaking during WWII.

  6. May 2015
    1. Dr. Lamport received a doctorate in mathematics from Brandeis University, with a dissertation on singularities in analytic partial differential equations. This, together with a complete lack of education in computer science, prepared him for a career as a computer scientist at Massachusetts Computer Associates, SRI, Digital, and Compaq. He claims that it is through no fault of his that of those four corporations, only the one that was supposed to be non-profit still exists. He joined Microsoft in 2001, but that company has not yet succumbed. Dr. Lamport's initial research in concurrent algorithms made him well-known as the author of LaTeX, a document formatting system for the ever-diminishing class of people who write formulas instead of drawing pictures. He is also known for writing A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. which established him as an expert on distributed systems. His interest in Mediterranean history, including research on Byzantine generals and the mythical Greek island of Paxos, led to his receiving five honorary doctorates from European universities, and to the IEEE sending him to Italy to receive its 2004 Piore Award and to Quebec to receive its 2008 von Neumann medal. However, he has always returned to his home in California. This display of patriotism was rewarded with membership in the National Academy of Engineering, the National Academy of Sciences, and the American Academy of Arts and Sciences. More recently, Dr. Lamport has been annoying computer scientists and engineers by urging them to understand an algorithm or system before implementing it, and scaring them by saying they should use mathematics. In an attempt to get him to talk about other things, the ACM gave him the 2013 Turing Award.

      Talk about badass introductions