The video loads from YouTube only after you press Play.

Lambda Calculus - Computerphile

A 13-minute video by Computerphile about calculus, computing mechanisms and theory of computation, on the Computer science shelf. It came up in 2 Reddit threads, in r/compsci. It is pitched at introductory level.

Computerphile, Video, 13 min, 2017, on the Computer science shelf

The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus.

Study notes

Introductory, Derivation. Step 1 of 3 in What computation is

Helpful first

• Functions and variables

What it builds

• Treat functions as the primitive notion.
• Distinguish defining a function from applying it.
• Connect a small formal system to programming behaviour.

Useful moments

• 0:27Church and the notion of a function
• 3:53Applying the increment function

Check yourself: What is the difference between defining a function and applying it?

Next in the path: What is PLUS times PLUS?

Notes are based on metadata, Reddit context and selected English caption passages. They are not a review of every claim in the video.