COMPUTER VERIFIED MATHEMATICS | VOEVODSKY

  |     |   home
COMPUTER VERIFIED MATHEMATICS | VOEVODSKY

Voevodsky has been advocating the virtues of computer proof assistants and developing univalent foundations in order to bring the languages of Mathematics and Computer Programming together .

Read More ➤➤

QUANTUM GRAVITY | LECTURES & BOOK | ROVELLI

  |     |   home
QUANTUM GRAVITY | LECTURES & BOOK | ROVELLI

Quantum Gravity is among the most fascinating problems in physics . It modifies our understanding of time , space and matter . The recent development of the loop approach has allowed us to explore domains ranging from black hole thermodynamics to the early Universe .

Read More ➤➤

THEORETICAL MINIMUM | SUSSKIND LECTURES

  |     |   home
THEORETICAL MINIMUM | SUSSKIND LECTURES

The Theoretical Minimum is a series of Stanford Continuing Studies courses taught by world renowned physicist Leonard Susskind . These courses collectively teach everything required to gain a basic understanding of each area of modern physics including all the fundamental mathematics .

Read More ➤➤
SATYAVEDISM | LOGIN
OM! SATYANANDAM GITFO (First Name) OM

Forgot? Show PW
Log In
Enter SVNPO Portal
         Log Out