ESP Biography

This will be a rapid introduction to the Lambda Calculus, a theoretical model of computing originally proposed by Alonzo Church in the 1930s. We will explore how, starting from the barest primitive ideas, you can derive all the comutational power of a modern desktop computer! NOTE: This is not the calculus you've heard about in school! In fact, there are almost no numbers involved, and you don't need to know any math -- just have a curiosity for some slightly abstract reasoning.

What is infinity? Is "infinity" a number? Does `\frac{1}{0} = \infty`? What does it mean when a mathematician tells you that some infinities are bigger than others? We'll explore what mathematicians mean by "infinity", talk about different sizes of infinities and how to compare them, and more!

What is infinity? Is "infinity" a number? Does `\frac{1}{0} = \infty`? What does it mean when a mathematician tells you that some infinities are bigger than others? We'll explore what mathematicians mean by "infinity", talk about different sizes of infinities and how to compare them, and more!

This will be a rapid introduction to the Lambda Calculus, a theoretical model of computing originally proposed by Alonzo Church in the 1930s. We will explore how, starting from the barest primitive ideas, you can derive all the comutational power of a modern desktop computer! NOTE: This is not the calculus you've heard about in school! In fact, there are almost no numbers involved, and you don't need to know any math -- just have a curiosity for some slightly abstract reasoning.

Have you ever wondered how computers are able to play board games like Chess? It turns out that the way humans play these games is very different from how we know how to make computers do so. We'll look at the minimax technique for building AIs for Chess or other games, and we'll discuss some of the tricks you need to do to make it perform on a truly grandmaster level.