James Walsh

Explorer la relation entre les modèles calculables et les théories mathématiques.

Un aperçu de l'approche de Kripke sur les phrases autoréférentielles et leurs propriétés.