thesis

La question des fondements des mathématiques et la théorie des modèles

Defense date:

Jan. 1, 1998

Edit

Institution:

Lyon 3

Disciplines:

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

La question des fondements est philosophique mais elle requiert une philosophie differente des philosophies de la conscience. Cette etude philosophique applique la logique et les mathematiques mais cette application ne signifie pas l'interiorisation de la question aux mathematiques et ne se limite pas aux formalismes logico-mathematiques disponibles. Cette philosophie, plus precisement, ses concepts, ses propositions, ses methodes de definition, d'assertion et de preuve sont degages, la metatheorie informelle des fondements et tout ce qui est formalisable sont determines, les formalismes logicomathematiques idoines sont choisis. Pour y aboutir, une demarche conceptuelle analytique operatoire est mise en place ou tous les. Aspects de la question, ontologique, methodologique, theorique, humain-, sont determines de facon ordonnee, unifies sans etre confondus, distingues sans etre separes. Comme le corpus de l'ouvrage est exclusivement theorique, une esquisse de la realisation dans le temps de la metatheorie des fondements telle qu'elle est determinee dans le corpus est donnee en annexe.