Modern Science Mathematics in Crisis videos Random Videos

2.7K views - 10 years ago

Intuitive Introduction to Category Theory MetaMaths

38.1K views - 3 years ago

Introduction to Metamath and mmj2 David A. Wheeler

5.7K views - 11 years ago

Introduction to Metamath-lamp, part 1 David A. Wheeler

997 views - 2 years ago

Metamath Proof Explorer: A Modern Principia Mathematica David A. Wheeler

12.1K views - 9 years ago

Metamath Statement Screen Demo William Hale

190 views - 7 years ago

What is the meaning of the word METAMATHEMATICS? AVLexis

93 views - 5 years ago

Metamathematics WikiAudio

208 views - 10 years ago

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

183.1K views - 5 years ago

Formalizing Geometric Proof Schwabhäuser 4.6 in the Metamath Proof Explorer (using mmj2) David A. Wheeler

687 views - 5 years ago

Metamath WikiAudio

395 views - 10 years ago

The infinite future of mathematics | Stephen Wolfram and Lex Fridman Lex Clips

6.6K views - 5 years ago

Five Stages of Accepting Constructive Mathematics - Andrej Bauer Institute for Advanced Study

30.3K views - 9 years ago

Infinite plane can only fit this many circles ... MetaMaths

3.2K views - 3 years ago

Metamath Proof Explorer (set.mm) contributions visualized with Gource through 2020-04-29 David A. Wheeler

1.2K views - 5 years ago

Metamathematics Meaning ADictionary

108 views - 10 years ago

When CAN'T Math Be Generalized? | The Limits of Analytic Continuation Morphocular

660.2K views - 2 years ago

Philosophy x Metamathematics – Danya Rogozin Serokell

1.9K views - 4 years ago

Creating functions in Metamath David A. Wheeler

1.6K views - 9 years ago

Combination of Polynomials | Putnam 2010 B4 with @MetaMaths letsthinkcritically

9.7K views - 4 years ago