Nantilus
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...
Saved in:
| Other Authors : | , , , , , , |
|---|---|
| Format : | Book |
| Language : | français |
| Title statement : | 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.] |
| Published : |
Paris :
Librairie philosophique J. Vrin
, 2017 |
| Physical Description : | 1 vol. (386 p.) |
| Series : | Textes clés (Paris. 2002) |
| Subjects : |
| LEADER | 02914cam a2200613 4500 | ||
|---|---|---|---|
| 001 | PPN203954130 | ||
| 003 | http://www.sudoc.fr/203954130 | ||
| 005 | 20240320154500.0 | ||
| 010 | |a 978-2-7116-2654-0 |b br. |d 14 EUR | ||
| 020 | |a FR |b 01766739 | ||
| 021 | |a FR |b DLE-20170920-55416 | ||
| 035 | |a (OCoLC)1003321105 | ||
| 035 | |a FRBNF451097210000005 |z FRBNF45109721 | ||
| 073 | 1 | |a 9782711626540 | |
| 100 | |a 20170912h20172017k y0frey0103 ba | ||
| 101 | 2 | |a fre |c eng |c fre |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a y a 000yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Philosophie des mathématiques |e logique, preuve et pratiques |f textes réunis et présentés par S. Gandon et I. Smadja |g avec le concours de S. Cabanacq |g traductions par Jean Fichot, Brice Halimi, Baptiste Mélès... [et al.] | |
| 214 | 0 | |a Paris |c Librairie philosophique J. Vrin |d 2017 | |
| 215 | |a 1 vol. (386 p.) |d 18 cm | ||
| 225 | 0 | |a Textes clés |x 1639-4216 | |
| 339 | |a 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 | ||
| 304 | |a Autres contributions : Jean-Baptiste Rauzy et Ivahn Smadja (traducteurs) | ||
| 307 | |a Traduction en français de plusieurs textes anglais | ||
| 320 | |a Bibliogr. p. [365]-383 et en fin de chapitres. Notes bibliogr. en bas de page. | ||
| 410 | | | |0 076234312 |t Textes clés (Paris. 2002) |x 1639-4216 | |
| 606 | 0 | |3 PPN027662799 |a Logique mathématique |3 PPN027269493 |x Anthologies |2 rameau | |
| 606 | 0 | |3 PPN027555801 |a Philosophie et mathématiques |3 PPN027269493 |x Anthologies |2 rameau | |
| 606 | 0 | |3 PPN027257878 |a Mathématiques |x Philosophie |3 PPN027269493 |x Anthologies |2 rameau | |
| 676 | |a 501 |v 22 | ||
| 676 | |a 510.1 |v 23 | ||
| 686 | |a 00A30 |c 2010 |2 msc | ||
| 686 | |a 03Axx |c 2010 |2 msc | ||
| 686 | |a 510 |2 Cadre de classement de la Bibliographie nationale française | ||
| 702 | 1 | |3 PPN068738587 |a Gandon |b Sébastien |f 1969-.... |4 340 |4 730 | |
| 702 | 1 | |3 PPN069350019 |a Smadja |b Ivahn |f 1967-.... |4 340 |4 730 | |
| 702 | 1 | |3 PPN203954378 |a Cabanacq |b S. |4 205 | |
| 702 | 1 | |3 PPN069531897 |a Fichot |b Jean |f 1959-.... |4 730 | |
| 702 | 1 | |3 PPN192465554 |a Halimi |b Bruce |4 730 | |
| 702 | 1 | |3 PPN170123855 |a Mélès |b Baptiste |f 1981-.... |4 730 | |
| 702 | 1 | |3 PPN032713398 |a Rauzy |b Jean-Baptiste |f 1964-.... |4 730 | |
| 801 | 3 | |a FR |b Electre |c 20211104 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20191119 |g AFNOR | |
| 801 | 0 | |a FR |b FR-751131015 |c 20160831 |g AFNOR |2 intermrc | |
| 979 | |a PHILO | ||
| 930 | |5 441092107:745294677 |b 441092107 |j g | ||
| 998 | |a 929580 | ||