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

Envoyer le lien

Article

    • Pages : 1 à 27
    •  
    •  
    • ISBN : 2-13-050104-4
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 04-01-2011

    Résumé

    Français

    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.