Colloque

Sur le rôle de la théorie des démonstrations dans les fondements des mathématiques

Y. Gauthier

Membre a labase

Y. Gauthier

Résumé du colloque

La théorie des démonstrations a une place à part dans la recherche fondationnelle en mathématiques. À côté de la théorie des modèles et de théorie de la récursivité qui s’appliquent aux "objets" puisés dans la théorie des ensembles, la théorie des démonstrations s’intéresse essentiellement aux opérations ou constructions mentales de preuve, épreuve et "appreuve", i.e. approbation, dans une perspective constructiviste.

Contexte

Section :

Mathématiques et statistiques

Thème du colloque :

Mathématiques et statistiques

Responsables :

Pierre-Yves Leduc

Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Mathématiques et statistiques

Décomposition en produit direct de modules de morphismes

C. Lemaire

Les fonctions hypergéométriques d'une ou plusieurs variables et les opérateurs généralisés

R. Tremblay

Résolution algébrique d'équations intégro-différentielles du type parabolique

S. Vasilach

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Mathématiques et statistiques

Sur la structure du continu

Y. Gauthier

Sur le rôle de la théorie des démonstrations dans les fondements des mathématiques

Y. Gauthier

Utilisation des berges de la région de Montréal par les goélands et les échassiers

Y. Gauthier