Episode 58: Deutsch's "Creative Blocks": A Decade Later

1

Introduction

00:00 • 2min

2

Creative Blocks: The Four Strands of Artificial Intelligence

01:41 • 6min

3

The Importance of Universality in Computing

07:12 • 2min

4

The Evolution of Computers

09:12 • 5min

5

The Importance of Computable Programming

14:37 • 2min

6

The Intractable Traveling Salesman Problem

16:24 • 2min

7

The Problem With Traveling Salesman Problems

18:33 • 2min

8

How Machine Learning Made Chess More Computable

21:00 • 3min

9

How to Come Up With Algorithms That Get Us Something Close to the Best Possible Answer

23:56 • 3min

10

The Church Turing Thesis Was False

26:27 • 2min

11

The Difference Between Being Wrong and Incomplete

28:32 • 2min

12

The Importance of Critical Rationalism

30:12 • 4min

13

The Church During Deutsch Thesis Is Going to Be Overturned in the New Theory

34:09 • 3min

14

How to Overturn the Turing-Deutsch Thesis

36:53 • 2min

15

The Problem With the Church Turing Deutsch Thesis

39:13 • 6min

16

The Trichterring Deutsch Thesis

45:10 • 2min

17

The Failure of AGI on Existing Computers

46:47 • 2min

18

Penrose's Argument for a Quantum Computer

48:33 • 2min

19

The Mystery of Consciousness

50:07 • 2min

20

Penrose's Theories Are Not Good Theories

51:40 • 2min

21

The Universal Explainer Hypothesis and the Limits of What Humans Can Do

53:30 • 3min

22

Can We Build an AGI on a Computer?

56:58 • 2min

23

The Problem of Time and the Problem of AGI

58:48 • 2min

24

The Evolution of the Brain

01:00:41 • 2min

25

The Impossibility of Induction in AGI Theory

01:02:27 • 4min

26

The Bad Idea of Knowledge Holding Up AI Research

01:06:16 • 4min

27

Ray Kurzweil and the Singularity

01:09:47 • 2min

28

The Importance of Critical Rationalism

01:11:28 • 5min

29

How to Create a Universal Conjecture Engine

01:16:10 • 3min

30

The Difference Between Evolution and Human Knowledge Creation

01:19:17 • 4min

31

The Gap in Knowledge

01:22:56 • 3min

32

The Importance of Induction in Machine Learning

01:25:38 • 4min

33

Statistical Inference as Severe Testing

01:30:02 • 4min

34

The War on Words

01:34:10 • 3min

35

The Connection Between Induction and Critical Rationalism

01:37:14 • 3min

36

How Mayo Disproves Popper's Epistemology

01:40:14 • 2min

37

The Importance of Understanding AGI

01:42:33 • 2min

38

The Importance of Deductive Logic in AI

01:44:29 • 3min

39

The Importance of Algorithms

01:47:54 • 2min

40

The Importance of Specification in Programming

01:50:17 • 3min

41

The Problem With Programming an AGI

01:53:19 • 4min

42

The Ethics of Autism

01:57:19 • 6min