Séances de cours associées à Dixième problème de Hilbert

Couvre des sujets dans le calcul des variations, y compris les résultats de régularité et les théorèmes de fonction implicites.

Explore le problème de l'arrêt, démontrant son insolvabilité et les limites des algorithmes.

Explore l'insolvabilité du problème d'arrêt dans les algorithmes et les limites des procédures dans la détermination de l'arrêt du programme.