Système d’information en philosophie des sciences
Information system on philosophy of science

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.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Samedi 23 octobre 2021