Comments by "Lawrence D’Oliveiro" (@lawrencedoliveiro9104) on "Computer Science ∩ Mathematics (Type Theory) - Computerphile" video.

  1. John McCarthy, the father of LI
    1
  2. SP, relates how he tried to suggest to mathematicians that functional LI
    1
  3. SP notation would be a less clumsy way of reasoning about computability theory, rather than the traditional Turing machine model with a print head and an infinite tape.
    1
  4. Apparently that viewpoint was not popular at the time.
    1