Une démonstration mathématique n'est-elle qu'un calcul logique ?
Publié le 23/03/2009
Extrait du document
Une démonstration mathématique n'est-elle qu'un calcul logique ?
Logique et mathématiques sont des sciences formelles, en ce qu'elles sont pures de tout contenu empirique. Leur rapprochement, dont Leibniz a été le premier artisan, s'appuie sur la possibilité de concevoir la pensée comme un calcul, mais également d'approfondir la notion de démonstration pour en faire la théorie.
Liens utiles
- LOGIQUE ET MATHÉMATIQUE: QCM de philo
- LOGIQUE ET MATHÉMATIQUE.
- La vérité mathématique est-elle pure logique ?
- Notes de cours: Logique et Mathématique
- logique mathématique - mathématiques.