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