By Lê Nguyên Hoang, Not an Ordinary Seminar – GERAD. March 6th, 2013.
In this talk, I will take you through some of the greatest simple ideas of the 20th century. From operations research to topology, from set theory to graph theory, from fractals to infinity, we will explore different regions of the world of mathematics. While this presentation is primarily aimed at non-mathematicians, it should be of great interest to everyone.
Type Theory: A Modern Computable Paradigm for MathType Theory: A Modern Computable Paradigm for Math By Lê Nguyên Hoang | Updated:2016-01 | Views: 11091 In 2013, three dozens of today's brightest minds have just laid out new foundation of mathematics after a year of collective effort. This new paradigm better fits both informal and computationally-checkable mathematics. There is little doubt that it will fundamentally change our perspective on rigorous knowledge, and it could be that, in a few decades, the book they published turns out to be the bedrock of all mathematics, and, by extension, all human knowledge! Have a primer of this upcoming revolution, with this article on type theory, the theory that the book builds upon!