Introduction. La preuve à la lumière (?) de l’intelligence artificielle

Sur les procédures de justification. – Vu des mathématiques; – Preuve et domaine de preuve; – Preuve dans l’activité scientifique; – Les éléments de la preuve; – Logique et preuve; – Aristote et les origines de la logique; – La logique formelle, ses limites, le classique et le moderne; – La position de l’informatique.