Philosophie des mathématiques : logique, preuve et pratiques

Philosophie des mathématiques : logique, preuve et pratiques

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'articu...

Description complète

Enregistré dans:
Détails bibliographiques
Autres auteurs : Gandon Sébastien (Éditeur scientifique, Traducteur), Smadja Ivahn (Éditeur scientifique, Traducteur), Cabanacq S. (Collaborateur), Fichot Jean (Traducteur), Halimi Bruce (Traducteur), Mélès Baptiste (Traducteur), Rauzy Jean-Baptiste (Traducteur)
Format : Livre
Langue : français
Titre complet : Philosophie des mathématiques : logique, preuve et pratiques / textes réunis et présentés par S. Gandon et I. Smadja; avec le concours de S. Cabanacq; traductions par Jean Fichot, Brice Halimi, Baptiste Mélès... [et al.]
Publié : Paris : Librairie philosophique J. Vrin , 2017
Description matérielle : 1 vol. (386 p.)
Collection : Textes clés (Paris. 2002)
Sujets :
Logique mathématique > Anthologies
Philosophie et mathématiques > Anthologies
Mathématiques > Philosophie > Anthologies
Description
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 2022
Notes : Autres contributions : Jean-Baptiste Rauzy et Ivahn Smadja (traducteurs)
Traduction en français de plusieurs textes anglais
Bibliographie : Bibliogr. p. [365]-383 et en fin de chapitres. Notes bibliogr. en bas de page.
ISBN : 978-2-7116-2654-0