Metamaths

Intuitive Introduction to Category Theory 6:41
Intuitive Introduction to Category Theory MetaMaths 26,733 2 года назад
Metamathematics 7:59
Metamathematics Jalis 273 2 года назад
Why is Math Hard? - A Meta-Mathematics Perspective | Stephen Wolfram and Lex Fridman 12:01
Why is Math Hard? - A Meta-Mathematics Perspective | Stephen Wolfram and Lex Fridman Lex Clips 177,271 3 года назад
Lesson 0: What is Metamathematics? (Origins) 10:40
Lesson 0: What is Metamathematics? (Origins) No Bob Saget 2,444 5 лет назад
Problems DESIGNED to be unsolvable. Discrimination in education. 4:45
Problems DESIGNED to be unsolvable. Discrimination in education. MetaMaths 22,704 3 года назад
METAMATHEMATICS 0:05
METAMATHEMATICS Terence 460 12 лет назад
A Hidden Pattern which All texts must obey | A novel approach to Zipf' s Law. #SoME2 12:20
A Hidden Pattern which All texts must obey | A novel approach to Zipf' s Law. #SoME2 MetaMaths 11,055 1 год назад
Philosophy x Metamathematics – Danya Rogozin 1:25:58
Philosophy x Metamathematics – Danya Rogozin Serokell 1,526 3 года назад
What does metamathematics mean? 0:35
What does metamathematics mean? What Does That Mean? 218 9 лет назад
Creating functions in Metamath 10:32
Creating functions in Metamath David A. Wheeler 1,384 7 лет назад
Metamath Proof Explorer: A Modern Principia Mathematica 14:25
Metamath Proof Explorer: A Modern Principia Mathematica David A. Wheeler 10,613 7 лет назад
Introduction to Metamath and mmj2 18:36
Introduction to Metamath and mmj2 David A. Wheeler 5,251 10 лет назад
Metamath Zero: Designing a Theorem Prover Prover 33:29
Metamath Zero: Designing a Theorem Prover Prover Mario Carneiro 1,264 3 года назад
Aubrey de Grey on his Mathematics Research and Longevity | Hadwiger- Nelson Problem. 1:05:10
Aubrey de Grey on his Mathematics Research and Longevity | Hadwiger- Nelson Problem. MetaMaths 5,491 1 год назад
Introduction to Metamath-lamp, part 1 4:05
Introduction to Metamath-lamp, part 1 David A. Wheeler 597 1 год назад
The Map of Mathematics 11:06
The Map of Mathematics Domain of Science 13,656,672 7 лет назад
Greek metamathematics 40:56
Greek metamathematics Overdrinks 13 1 год назад

Сейчас ищут