Tech Talk: God's Programming Language - Philip Wadler on Haskell

1

Introduction

00:00 • 5min

2

What Is Computability Theory?

04:33 • 1min

3

The Turring Machines

06:03 • 4min

4

The Theorem of Turring Machines

10:32 • 2min

5

Girdle's Proof of Undecidability

12:25 • 2min

6

The Harber's Riddle Is Russell's Paradox

14:08 • 5min

7

How to Prove a Statement That Is Not Provable

18:43 • 5min

8

Is There a Self Reference?

23:32 • 3min

9

Is There a Similarity in Propositions as Types?

26:52 • 2min

10

Are These Concepts Invented or Discovered?

28:52 • 5min

11

Typed Lamda Calculus

33:23 • 3min

12

Logicians, and Computer Scientists - Is That Right?

36:06 • 2min

13

Type Lamde Calculus Is God's Programming Language

37:45 • 2min

14

Are Prime Numbers Invented or Discovered?

39:32 • 3min

15

Trying to Communicate With Alien Computers

42:41 • 2min

16

Is There a Parallel World?

45:09 • 2min

17

Object Oriented Languages - Polymorphic Lambda Calculus

47:23 • 2min

18

A Linear Logic and the Computer Science of the Future

49:34 • 4min

19

Linear Logic Is Important for Programming Protocols

53:31 • 3min

20

Monads

56:01 • 2min

21

Is Waiting 30 Years Really Important?

58:26 • 2min