Computational Complexity, Polyhedral Combinatorics, Algorithms and Graph Theory. Introducing EulerCoin, a new cryptocurrency for Mathematicians, Educators and Learners. I am very excited to announce that our newest product TrueShelf. Is now available to everybody. Is a BlockChain powered social learning platform. Users on the platform get rewarded with EulerCoin.

A modular formalization of type theory in Coq. Here are the slides for the talk I just gave at TYPES 2017. It is joint work with Philipp Haselwarter. The abstract for the talk is available online. TYPES 2017 A modular formalization of type theory in Coq.

A good stack of examples, as large as possible, is indispensable for a thorough understanding of any concept, and when I want to learn something new, I make it my first job to build one. May 17, 2015 by Qiaochu Yuan. We proved a theorem due to Gabriel characterizing categories of modules as cocomplete abelian categories with a compact.

A personal view of the theory of computation. What he did was change the accepted definition of. So that the integral from. Even when integrating over all of. Such that for all points.

Incidence Bounds and Interlacing Eigenvalues. Is one of the central results in discrete geometry. , the number of point-line pairs with the point lying on the line, between finite sets of points and lines in the Euclidean plane. Be finite sets of points and lines, respectively, in.

Upcoming talk on the Goldbach Conjecture. Some exciting news, I will next month be giving a talk which, amongst other things, will resolve the Goldbach Conjecture. That is a rather famous conjecture in Number Theory that asserts that every even number can be written as the sum of two primes. The talk will be in the Pure Mathematics Colloquium on November 8 2016. We will also bump into philosophical questions about the true nature o.

Dies ist eine deutsche Übersetzung meines im Original englischen Blogposts. Eigentlich sinnlos, war mein Ziel doch meine deutschen Texte ins Englische zu übersetzen. Aber der Titel hat mir so gut gefallen. Und es ist doch wirklich spannend, ob eine Logik ohne Wahrheit sinnvoll sein kann.