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 โžคโžค

LANGLANDS | EVOLUTION OF MATHEMATICS

  |     |   home
LANGLANDS | EVOLUTION OF MATHEMATICS

Robert Langlands , a Canadian , is one of the world's great mathematicians . Langlands' universe is the outer limits of Pure Mathematics , a rarefied realm where abstract objects exist , infinity is corralled and symmetry reigns .

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 โžคโžค