pen icon Colloque
quote

Logique et philosophie chez Gödel (1906-1978)

Y. Gauthier
YG

Membre a labase

Y. Gauthier

Résumé du colloque

Nous nous proposons de décrire les principaux résultats logiques de Gödel et d'en dégager la signification philosophique : le théorème de complétude pour la logique des prédicats du 1er ordre (1930), le théorème d'incomplétude pour l'arithmétique récursive primitive (1931), le théorème sur les preuves de non-contradiction (1931), la démonstration de la consistance relative de l'hypothèse du continu et de l'axiome du choix avec la théorie axiomatique des ensembles de Zermelo-Fraenkel (1939), l'interprétation Dialectica (1957). Nous traiterons aussi des textes philosophiques de Gödel pour caractériser sa position conditionnelle en logique et en mathématiques. Nous terminerons sur la critique des fondements platonistes proposés par Gödel.

Contexte

Section :
Philosophie
news icon Thème du colloque :
Philosophie
host icon Hôte : Université d'Ottawa

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Philosophie
La valeur en architecture
Georges Gauthier-Lamouche
L'orientation socialiste dans la philosophie politique de Shelley
M. Guertin
Tragédie, délire, transmission: notes sur "l'expérience intérieure" de Georges Bataille
P. Leroux
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Philosophie
Logique et philosophie chez Gödel (1906-1978)
Y. Gauthier
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