Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Philosophie des mathématiques t.2 ; logique, preuve et pratiques

Couverture du livre « Philosophie des mathématiques t.2 ; logique, preuve et pratiques » de Sebastien Gandon et Ivahn Smadja aux éditions Vrin
  • Date de parution :
  • Editeur : Vrin
  • EAN : 9782711626540
  • Série : (-)
  • Support : Papier
Résumé:

Avec des textes de S. Awodey, S. Feferman, S. Shapiro, J. Tappenden, Th. Tymoczko, M. Wilson.

Le compagnonnage entre la philosophie et les mathématiques ne date pas d'hier. Mais l'émergence des nouvelles logiques, au début du XXe siècle, a profondément modifié la forme des interactions entre... Voir plus

Avec des textes de S. Awodey, S. Feferman, S. Shapiro, J. Tappenden, Th. Tymoczko, M. Wilson.

Le compagnonnage entre la philosophie et les mathématiques ne date pas d'hier. Mais l'émergence des nouvelles logiques, au début du XXe 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 du volume « Philosophie des mathématiques » était consacré tant aux questions ontologiques qu'à celles liées aux fondements. Ce second tome porte sur des questions qui sont davantage en prise avec les mathématiques du XXe 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? Qu'en est-il par exemple du rôle joué par les ordinateurs dans certaines preuves?

Donner votre avis