Explore les preuves mathématiques historiques, les problèmes de décision, les systèmes de déductibilité, les preuves probabilistes et quantiques, et les systèmes de preuve interactifs.
Couvre l'application des équations de Cauchy et de la décomposition intégrale, en abordant les questions liées aux fonctions holomorphes et aux matrices jacobines.