Changement conceptuel et developpement scientifique : le cas de logique mathématique de Hilbert à Gödel
Institution:
Paris 1Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Mon objectif est double: étudier un changement conceptuel d 'un cote; proposer une réflexion sur les méthodes d'étude de l'autre. On constate un certain flottement autour de 1900 sur Ie sens du terme complétude et du statut de la propriété qu'il exprime. Le sens n’en est fixe que dans les années trente avec I' obtention de résultats fondamentaux. Je m'appuie sur deux types d’études, étude linéaire (des Grundlagen de Hilbert jusqu'aux résultats de Gödel) et étude structurelle, afin de mettre en évidence les mouvements par lesquels changements et stabilisation du concept ont eu lieu. Ces mouvements se revelant lies à des problèmes philosophiques tels que Ie statut des entités mathématiques, ou la relation vente - prouvabilite, problèmes qui forment en même temps Ie contexte metamathematique de I' époque, je me tourne vers Ie type d'interrogation suivant: quel modèle explicatif adopter en tenant compte de la dépendance des variations du concept envers Ie contexte metascientifique.