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 ➤➤