This website uses cookies to ensure you get the best experience on our website. Learn more

Lambda Calculus - Computerphile

x

Lambda Calculus - Computerphile

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




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at

Essentials: Functional Programming's Y Combinator - Computerphile

Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.

Lambda Calculus:
Professor Brailsford on 'Pointers': Coming Soon!

Many thanks to Microsoft Research UK for their support with the 'Essentials' mini-series.




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at
x

Functional Programming & Haskell - Computerphile

Just what is functional programming? We asked a member of the team that created Haskell: John Hughes, Professor of Computer Science at Chalmers University of Technology in Gothenburg.




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at

What is a Monad? - Computerphile

Monads sound scary, but Professor Graham Hutton breaks down how handy they can be.




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at
x

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Fullstack Academy was recently ranked the #1 coding bootcamp in the U.S. Learn more at

The Lambda Calculus is a symbol manipulation system which suffices to calculate anything calculable. This branch of pure mathematics forms the backbone of functional programming languages, and here it is presented through the concrete and familiar lens of JavaScript.

In this Lambda Calculus video you will learn:

- Lambda Calculus Syntax
- History of the foundations of mathematical logic
- The essence of functional programming

🔗 Part II: 🔗 Slides: 🔗 Repo:

Implementation - Computerphile

Dicussing implementation with Professor Brailsford.

Professor Brailsford emailed me after we recorded this to say that of course he should have discussed programming language selection too.

Dijkstra's Algorithm:
Linked Lists:
Poetry to Programming:
Lambda Calculus:
Haskell:




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at
x

Turing Complete - Computerphile

What does it mean for something to be Turing Complete? Professor Brailsford explains.

Turing Machine Primer:
Turing Machines Explained:
Chomsky Hierarchy:
What on Earth is Recursion?:




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at

Code Checking Automation - Computerphile

The original version of text messaging had a flaw, but how can we investigate problems with software quickly and easily? Professor John Hughes shows us how a modern tool can automate the process of code checking.




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at

The Most Difficult Program to Compute? - Computerphile

The story of recursion continues as Professor Brailsford explains one of the most difficult programs to compute: Ackermann's function.

Professor Brailsford's programs:

Follow Up Film from the Prof in response to this film:

What on Earth is Recursion?:
Fibonacci Programming:
Heartbleed, Running the Code:
VR Series: COMING SOON!

Please note, Ackermann is spelled incorrectly with one n on the title plate - Apologies




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. See the full list of Brady's video projects at:

Programming Languages: Lambda Calculus - 1

First lecture on Lambda Calculus
x

Computer Science ∩ Mathematics (Type Theory) - Computerphile

As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch discusses Type Theory vs Set Theory.

A Longer version of this interview can be found here:
EXTRA BITS:




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at

Von Neumann Architecture - Computerphile

Von Neumann Architecture is how nearly all computers are built, but who was John Von Neumann and where did the architecture come from? Professor Brailsford tells us about 'Uncle Johnny'

Extra thanks to our super sleuth secret Princeton based photographer...




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at
x

Quantum Computing 'Magic' - Computerphile

Quantum Computing offers a potential sea-change in computer power, but what are the issues with it, why aren't we all using quantum iphones already? Associate Professor Dr Thorsten Altenkirch.

Link to more information & Quantum IO Monad Code:
*From Thorsten: We have updated the hackage package to work with the new monad library. If you want to play with QIO read the paper and download the code and then you can start quantum programming. :-)

Public Key Cryptography:
Cracking Windows by Atom Bombing:
Slow Loris Attack:
Google Deep Dream:




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at

PLT: Lambda Calculus - Basics 1

A short introductory lecture on lambda calculus.

Since I'm teaching myself programming language theory I reckon it might be good to do these lectures a way of internalizing my knowledge and at the same time exercise my public speaking non-skill.

Y combinator function. What is it?

Y Combinator, besides being the best investment fund, is also a function of lambda calculus. It's from a mathematical concept called fixed-point combinator, like the Omega Combinator.
James has a Y-combinator tattoo and explains how understanding the math behind it changed his perspective of computer science, startups and the world.
----------------------------------------­­------------------------------
All this and much more, at
x

Programming Paradigms - Computerphile

There are different styles of programming, some quite closely resemble pure mathematics. Mathematician and Computer Scientist Laurence Day compares two of them.

Note: In the Java code the delimiters within the 'for' loop should be semi-colons, not commas. Apologies for the error.

What if the Universe is a Computer Simulation:
Sights and Sounds of Sorting with BASIC:




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. See the full list of Brady's video projects at:

Turing Machines Explained - Computerphile

Turing Machines are the basis of modern computing, but what actually is a Turing Machine? Assistant Professor Mark Jago explains.

Turing & The Halting Problem:
Busy Beavers:
Avatars & In-Flight VR:
The (pink) VR Simulator:




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. See the full list of Brady's video projects at:

How Can One Greek Letter Help Us Understand Language? Lambda Calculus

How can we capture the meanings of transitive sentences? How do we match our syntax trees to our semantics? In this week's episode, we talk about lambda calculus: why we need it to explain what our other semantic machinery can't, how to work out its math, and what it can show us about how words move around in sentences.

This is Topic #69!

This week's tag language: Lakota!

Related episodes:
Meaning Predicated on Logic: What Makes a Sentence True or False? -
Let's Talk About Sets: How Do We Build Meaning with Math? -
Quantifying Sets and Toasters: What Does Most Even Mean? -


Last episode:
Watch What You Say: What Makes Bad Words Bad? -

Other of our semantics and pragmatics videos:
Operation Relevance: How Do We Decide What's Relevant in Conversations? -
Building Common Ground: How Do We Create a Shared World in Conversation? -
Logical Connections: How Logical is Language? -

Find us on all the social media worlds:
Tumblr:
Twitter:
Facebook:

And at our website, !
You can also find our store at the website,

Our website also has extra content about this week's topic at

We also have forums to discuss this episode, and linguistics more generally.

Sources:
Most of the information for this episode came from Irene Heim and Angelika Kratzer's 1998 book, Semantics in Generative Grammar. Also, the Wikipedia page on Lambda Calculus is pretty good:

We also recommend Anders Schoubye's lecture notes, Formal Semantics for Philosophers:


Looking forward to next week!

Save our Software - Computerphile

See the Steve and Sir Martyn playing the game on our chemistry channel (Periodic Videos):

Links to the games (on emulator or for download) and other material...





This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at

Turing & The Halting Problem - Computerphile

Alan Turing almost accidentally created the blueprint for the modern day digital computer. Here Mark Jago takes us through The Halting Problem.

Turing Machines Explained:
Busy Beaver:
VR Simulator:
What on Earth is Recursion?:

Thanks to Assistant Professor Mark Jago of the University of Nottingham.




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. See the full list of Brady's video projects at:

Shares

x

Check Also

x

Menu