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

1K views - 2 years ago

Metamathematics skneedandpheed

373 views - 4 years ago

Wolfram Physics Project: Working Session Thursday, July 23, 2020 [Metamathematics | Part 1] Wolfram

7.6K views - 5 years ago

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

729 views - 2 years ago

What does metamathematics mean? What Does That Mean?

312 views - 11 years ago

Metamathematics Meaning ADictionary

108 views - 10 years ago

Do humans agree on line between good and evil | Stephen Wolfram and Lex Fridman Lex Clips

7.6K views - 2 years ago

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

791 views - 2 years ago

Creating functions in Metamath David A. Wheeler

1.6K views - 9 years ago

Prove the golden ratio is irrational (without using sqrt(5) is irrational) (ILIEKMATHPHYSICS) ILIEKMATHPHYSICS

260 views - 7 months ago

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

1.2K views - 5 years ago

Stephen Wolfram - What We've Learned from NKS 20 Years Later: The Making & Current State [Part 3] IMM

20 views - 10 months ago

George Hotz | Programming | obscure languages sunday : LEAN metamath parser george hotz archive

64.9K views - 6 years ago

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

6.6K views - 5 years ago

Are all true mathematical statements provable? | Famous Math Problems 17 | NJ Wildberger Insights into Mathematics

14.4K views - 12 years ago

Stephen Wolfram - A New Kind of Science: Archaeology 2022 IMM

11 views - 11 months ago

What does metamathematical mean? What Does That Mean?

12 views - 10 years ago

Metamathematics - Mathematics of the Unknown 2 E. T.'s Omniverse

278 views - 15 years ago

What is the meaning of the word METAMATHEMATICS? AVLexis

97 views - 5 years ago

Limitations of the human mind | Stephen Wolfram and Lex Fridman Lex Clips

26.1K views - 2 years ago