Set Theory, Russell, Gödel (Trek through Math 6/8)

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.

More on Science4All

Shannon's Information Theory (Trek through Math 5/8) Shannon's Information Theory (Trek through Math 5/8)
By Lê Nguyên Hoang | Updated:2016-02 | Views: 938

Big Numbers, Googol, Googolplex, Graham (Trek through Math 7/8) Big Numbers, Googol, Googolplex, Graham (Trek through Math 7/8)
By Lê Nguyên Hoang | Updated:2016-02 | Views: 1599

Self-Reference, Math Foundations and Gödel's Incompleteness Self-Reference, Math Foundations and Gödel's Incompleteness
By Lê Nguyên Hoang | Updated:2016-02 | Views: 3470
Although highly appreciated by artists, self-reference has been a nightmare for mathematicians. It took one of the greatest, Kurt Gödel, to provide a better understanding of it. This article deals with paradoxes, recursion, fractals and Gödel's incompleteness theorems.

Type Theory: A Modern Computable Paradigm for Math Type Theory: A Modern Computable Paradigm for Math
By Lê Nguyên Hoang | Updated:2016-01 | Views: 8519
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!

Leave a Reply

Your email address will not be published. Required fields are marked *