Home
Shorts

Metamaths

6:41

Intuitive Introduction to Category Theory

MetaMaths

27K views

4:45

Problems DESIGNED to be unsolvable. Discrimination in education.

MetaMaths

22K views

1:05:10

Aubrey de Grey on his Mathematics Research and Longevity | Hadwiger- Nelson Problem.

MetaMaths

5.6K views

12:01

Why is Math Hard? - A Meta-Mathematics Perspective | Stephen Wolfram and Lex Fridman

Lex Clips

178K views

0:35

What does metamathematics mean?

What Does That Mean?

233 views

6:12

Combination of Polynomials | Putnam 2010 B4 with @MetaMaths

letsthinkcritically

9.3K views

10:40

Lesson 0: What is Metamathematics? (Origins)

No Bob Saget

2.5K views

4:05

Introduction to Metamath-lamp, part 1

David A. Wheeler

649 views

57:12

Paul Christiano on Probabilistic Metamathematics and the Definability of Truth

Machine Intelligence Research Institute

7.3K views

18:36

Introduction to Metamath and mmj2

David A. Wheeler

5.2K views

7:59

Metamathematics

Jalis

286 views

0:55

Metamath book - the unboxing!

David A. Wheeler

850 views

10:32

Creating functions in Metamath

David A. Wheeler

1.4K views

50:37

Introduction to Metamath-lamp, part 2

David A. Wheeler

458 views