Philosophie des mathématiques. 2 , Logique, preuve et pratiques

Résumé

Après un premier volume qui traitait de l'histoire connexe des mathématiques et de la philosophie, les contributeurs s'intéressent à des questions davantage en prise avec les mathématiques du XXe siècle : l'émergence de l'axiomatisation et la formation des concepts, l'articulation entre langue formelle, mais aussi théorie axiomatisée et pratiques mathématiques. ©Electre 2017

Contributeur(s)
- Smadja, Ivahn. Éditeur scientifique
- Gandon, Sébastien. Éditeur scientifique
Éditeur(s)
- Vrin
Date
- 2017
Notes
- Bibliogr.
Langues
- Français
Description matérielle
- 1 vol. (386 p.) ; 18 x 12 cm
Collections
- Textes clés
Sujet(s)
- Mathématiques -- Philosophie
- Logique mathématique
ISBN
- 978-2-7116-2654-0
Indice
- 51 Ouvrages généraux de mathématiques, ouvrages de vulgarisation
Quatrième de couverture
- Philosophie des mathématiques
  Logique, preuve et pratiques
  Le compagnonnage entre la philosophie et les mathématiques ne date pas d'hier. Mais l'émergence des nouvelles logiques, au début du XX^e siècle, a profondément modifié la forme des interactions entre les deux disciplines, suscitant de nouvelles interrogations et modifiant la formulation des problèmes hérités de la tradition. Le premier tome des Textes clés de philosophie des mathématiques était consacré tant aux questions ontologiques qu'à celles liées aux fondements. Ce second tome porte sur des questions qui intéressent davantage les mathématiques du XX^e siècle. Comment, après l'émergence de l'axiomatisation, rendre compte de l'évolution et de la formation des concepts et des théories mathématiques ? Comment concevoir l'articulation entre langue formelle, théorie axiomatisée et pratiques mathématiques après l'échec des grands mouvements fondationnalistes ? Les avancées mathématiques récentes posent-elles de nouvelles questions philosophiques ?
Origine de la notice:
- Electre