Lambda Calculus - Computerphile - - vimore.org

Lambda Calculus - Computerphile

Lambda Calculus - Computerphile

YouTube

The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus. http://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: http://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com



Essentials: Functional Programming's Y Combinator - Computerphile

Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions. Lambda Calculus: https://youtu.be/eis11j_iGMs Professor Brai

YouTube

Fractals are typically not self-similar

An explanation of fractal dimension. Home page: https://www.3blue1brown.com/ Brought to you by you: http://3b1b.co/fractals-thanks And by Affirm: https://www.af

YouTube

The Rise and Fall of Java

Few people know that Java, the worlds most popular programming language, the one that powers smartphone apps and Mars rovers alike, was the result of a project

YouTube

Catalan's Conjecture - Numberphile

With Dr Holly Krieger from Murray Edwards College, University of Cambridge. Have a look at Brilliant (and get 20% off) here: https://brilliant.org/Numberphile

YouTube

Physics of Computer Chips - Computerphile

You can't beat physics. Why the chip manufacturers are heading for a wall. We asked nano-scientist Phil Moriarty Professor of Physics in the School of Physics a

YouTube

Zeno's Paradox - Numberphile

Dr James Grime is back and talking about tortoises. More links & stuff in full description below ↓↓↓ In many ways this video follows on from http://www.youtube

YouTube

Calculus -- The foundation of modern science

Easy to understand explanation of integrals and derivatives using 3D animations.

YouTube

4 Programming Paradigms In 40 Minutes

One of the most important lessons I've learned is that programming languages are tools and not all tools are good for all jobs. Some tasks are easier to solve f

YouTube

AI "Stop Button" Problem - Computerphile

How do you implement an on/off switch on a General Artificial Intelligence? Rob Miles explains the perils. Part 1: https://www.youtube.com/watch?v=4l7Is6vOAOA

YouTube

Gödel's Incompleteness Theorem - Numberphile

Marcus du Sautoy discusses Gödel's Incompleteness Theorem More links & stuff in full description below ↓↓↓ Extra Footage Part One: https://youtu.be/mccoBBf0VDM

YouTube

The Map of Mathematics

The entire field of mathematics summarised in a single map! This shows how pure mathematics and applied mathematics relate to each other and all of the sub-topi

YouTube

Just How do Macs and PCs Differ? - Computerphile

Following on from our contentious 'Mac or PC' film, we asked Professor Tom Rodden just what the actual difference is between Mac and PC. (by PC we are referring

YouTube

A* (A Star) Search Algorithm - Computerphile

Improving on Dijkstra, A* takes into account the direction of your goal. Dr Mike Pound explains. Correction: At 8min 38secs 'D' should, of course, be 14 not 1

YouTube

What they won't teach you in calculus

A visual for derivatives which generalizes more nicely to topics beyond calculus. Brought to you by you: http://3b1b.co/alt-calc-thanks And by Brilliant: https:

YouTube

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 P

YouTube

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, lik

YouTube

Random Numbers - Numberphile

Using radioactive material to generate random numbers... Subscribe to our new channel COMPUTERPHILE here - http://bit.ly/XqEDYi More links & stuff in full descr

YouTube

The Perfect Code - Computerphile

Summing up why Hamming's error correcting codes are regarded as 'Perfect' - Professor Brailsford explains. EXTRA BITS: https://youtu.be/i4zC67Yf5Iw For more

YouTube

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 Te

YouTube

The problem in Good Will Hunting - Numberphile

We now have a Tumblr: Tumblr: http://numberphile.tumblr.com This paper on ebay: http://www.ebay.co.uk/itm/221197137799? More links & stuff in full description b

YouTube