It briefly explains the foundation of Lambda Calculus. The descriptions are mathematically heavy. Some of the unexpected implications might be impressive.
It might be a fascinating demonstration of how even the simplest programming concepts are powerful.
It seems to be like a perfect initial step to learn the foundations of mathematics.