My name is Lê and I believe that the greatest challenge in education is to make science and math appealing.
This is why I aim at bringing enthusiasm and excitement to the readers’ learning experience.
I now run a Robustly Beneficial wiki, mostly on AI ethics, which has come to fascinate me!

Numbers and ConstructibilityNumbers and Constructibility By Lê Nguyên Hoang | Updated:2016-02 | Views: 9225 Last summer, I got to discover Morellet's artwork on inclined grids. Amazingly, this artwork is a display of the irrationality of $\sqrt{2}$! It's also a strong argument for the existence of this number. In this article, after discussing that, I take readers further by discussing what numbers can be constructed geometrically, algebraically, analytically or set theoretically using the power of mathematics!

Colors: It's not just about Wavelengths!Colors: It's not just about Wavelengths! By Lê Nguyên Hoang | Updated:2016-02 | Views: 7277 Colours... What are they really? Are there the same for all of us? And for other animals? How does color addition or subtraction work? How do they work on computers? And on printers? The mysterious (but not dark) world of colors is actually very colourful!

P versus NP: A Crucial Open ProblemP versus NP: A Crucial Open Problem By Lê Nguyên Hoang | Updated:2016-01 | Views: 7278 P=NP is probably today's most crucial open problem. Not only is it a very theoretical question in computer science and mathematics, but it also has major implications to real world. Its resolution could revolutionize the world. This article gives the definition and major results of P=NP.

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

From Divide and Conquer to ParallelizationFrom Divide and Conquer to Parallelization By Lê Nguyên Hoang | Updated:2015-12 | Views: 1737 Divide and conquer is a extremely powerful concept that is being used a lot in computer science, and that can also be applied in real life. We present its application to sorting algorithms. Then we'll talk about a major fundamental open mathematical problem, called P=NC.

Web Programming: From HTML to AJAXWeb Programming: From HTML to AJAX By Lê Nguyên Hoang | Updated:2016-02 | Views: 4212 The Internet is an unavoidable component of today's life, and will only become more and more important in the future. In this article, we"ll have an overview of its development in terms of coding languages. This article explains how webpages actually work. In particular, we'll discuss HTML, CSS, PHP, WordPress, MySQL, Javascript, XML and JSON, as well as their competitors.

Optimization by Linear ProgrammingOptimization by Linear Programming By Lê Nguyên Hoang | Updated:2016-02 | Views: 7796 Operations Research deals with optimizing industrial systems. Those systems can be very complex and their modeling may require the use of hundreds, thousands or even millions of variables. Optimizing over millions of variables may seem impossible, but it can be done if the optimization problem has a linear structure. Learn more on this linear structure and optimization solutions!

The Limitless Vertigo of Cantor's InfiniteThe Limitless Vertigo of Cantor's Infinite By Lê Nguyên Hoang | Updated:2015-12 | Views: 3979 No one believed him. Not even fellow mathematicians. They thought he was wrong. They thought he was crazy. Even he ended up doubting himself and went crazy. And yet, he had mathematically proved it all. Georg Cantor had figured out how to manipulate the infinite. Even more remarkable, he showed that there were actually several infinities; and some are bigger than others!