Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

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

  • Pages : 1 à 27
  •  
  •  
  •  
  • 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.

 

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.

 
Haut de pageRetour à la page précédente