Recherche simple :
par Guchet, Xavier (1971-....)
Presses universitaires de France
2010 -
Disponible - 1"4" SIMO 2
Etage 3 - Philosophie, Religion - Philosophie
Résumé : Analyse des liens entre les travaux d'ontologie du philosophe et ses réflexions sur les machines et la technologie. Démontre que les recherches de Gilbert Simondon visaient à l'axiomatisation des sciences humaines et à la création d'un nouvel humanisme en phase avec les réalités techniques.
Pont 9, maison d'éditeurs
2021 -
Disponible - 168.512 POU
Etage 3 - Philosophie, Religion - Philosophie
Résumé : Réflexions sur l'oeuvre de Jean Cavaillès (1903-1944), philosophe, épistémologue et logicien français. Les liens entre philosophie et sciences, ses nombreuses inspirations ainsi que ses centres d'intérêt notamment l'axiomatisation et la formalisation de la théorie des ensembles font partie des sujets abordés. ©Electre 2021
Vrin
2017 -
Disponible - 51 GAN
Etage 3 - Santé, Sciences et Techniques - Sciences
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
par Rogalski, Marc
Calvage & Mounet
2022 -
Disponible - 512 ROG
Etage 3 - Santé, Sciences et Techniques - Sciences
Résumé : Une présentation des concepts et des méthodes de l'algèbre linéaire élémentaire, illustrée d'exercices : vecteurs, équations, sous-espaces vectoriels, indépendance, rang. L'algèbre abstraite, en particulier l'axiomatisation, vient ensuite en réponse à des problématiques de modélisation variée et à d'autres issus de l'analyse des équations différentielles et de l'étude des polynômes. ©Electre 2022
par Boniface, Jacqueline
Vrin
2004 -
Disponible - 51(091) HILB 2
Etage 3 - Santé, Sciences et Techniques - Sciences
Résumé : David Hilbert (1862-1943) est connu pour le formalisme et la méthode axiomatique qu'il a introduits en mathématique. Ses travaux d'axiomatisation de la géométrie euclidienne, puis de l'arithmétique, l'ont amené à transformer radicalement une notion fondamentale en mathématique, la notion d'existence. C'est la transformation de la notion d'existence en mathématique, que ce livre propose d'examiner.
par Vernant, Denis (1948-....)
Editions Mimésis
2018 -
Disponible - 16 VER
Etage 3 - Philosophie, Religion - Philosophie
Résumé : Les questions philosophiques traditionnelles abordées grâce aux outils analytiques fournis par la logique standard, les systèmes déductifs alternatifs et la dialogique formelle. Le parcours philosophique scande ainsi les grandes étapes du développement des logiques contemporaines, redéfinissant la vérité en véridicité. Une réflexion sur l'usage du langage naturel à des fins de connaissance. ©Electre 2018
Les bibliothèques de la ville de Paris
Les bibliothèques universitaires
La BnF
L'encyclopédie Wikipédia
L'Encyclopædia Universalis
La bibliothèque du film
La médiathèque de la Philharmonie de Paris
