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 b
![Type Theory: A Modern Computable Paradigm for Math](https://cdn-ak-scissors.b.st-hatena.com/image/square/812bf0df792e3581f941862d2825d8eb68fe86fc/height=288;version=1;width=512/http%3A%2F%2Fwww.science4all.org%2Fwp-content%2Fuploads%2F2014%2F03%2FExcluded-Middle1.png)