Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

Artificial Intelligence is probably the most complex and astounding creations of humanity yet. And that is disregarding the fact that the field remains largely unexplored, which means that every ...

But what does game theory look like in practice? What kinds of ‘games’ fall under this concept, and how do they enhance our understanding of strategic behavior in real-life situations? In this article ...

In 1964, during a lecture at Cornell University, the physicist Richard Feynman articulated a profound mystery about the physical world. He told his listeners to imagine two objects, each ...

This post was co-authored with Professor John Vervaeke 1. Thinking, Fast and Slow is one of the great books written on cognition and decision making. In a clear and accessible fashion, it made popular ...