Intuitionnisme et théorie de la démonstration

Intuitionnisme et intuitionnistes Jean Largeault

Disponible

Systèmes de la nature Jean Largeault

Les positivistes conçoivent les théories scientifiques comme des agences de symboles sans interprétation directe, qui fournissent des moyens de prédir...

En réimpression

Idéaux de preuves Œuvres choisies Michael Detlefsen

Le philosophe américain Michael Detlefsen (1948-2019) a développé une réflexion profonde sur les rapports entre philosophie et mathématiques, en parti...

Disponible

Théorie de la connaissance Édition du centenaire 1821-1921 Hermann von Helmholtz

« L’espace peut être transcendantal sans que les axiomes le soient ». Ce titre du deuxième supplément à l’article de 1878, «&nbs...

Disponible

Introduction à la théorie de la démonstration Élimination des coupures, normalisation et preuves de cohérence Paolo Mancosu, Sergio Galvan et Richard Zach

Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemple...

Disponible

Leibniz et la méthode de la science François Duchesneau

Leibniz (1646-1716), philosophe et homme de science, invente le calcul infinitésimal, crée la dynamique et pose certains concepts fondamentaux des sci...

Disponible

Modes de l’analyse et formes de la géométrie Marco Panza

Longtemps la géométrie, science de la quantité continue, fut opposée à l’arithmétique, science de la quantité discrète. L’analyse et lR...

Disponible

Les fondements philosophiques de la physique Une introduction à la philosophie des sciences Rudolf Carnap

Dans cet ouvrage, fondé sur des entretiens et prolongeant un séminaire tenu en 1946 à Chicago, Rudolf Carnap explore ce que sont les concepts, les thé...

Disponible

La fin du regard éclairant le Traité de l’Optique de Ibn al-Haytham : une révolution dans les sciences de la vision au XIe siècle Michel Imbert

Curieux de l’évolution de sa discipline, les neurosciences de la vision, l’auteur s’est intéressé aux différents moments qui ont jal...

Disponible

Théorie des fonctions algébriques d’une variable Richard Dedekind et Heinrich Weber

L’article Théorie des fonctions algébriques d’une variable publié en 1882 par les mathématiciens allemands Richard Dedekind et Heinri...

Disponible