pen icon Colloque
quote

La théorie des ensembles comme reprise formelle de la théologie

François-Michel Denis
FD

Membre a labase

François-Michel Denis

Résumé du colloque

Peu après que l'Église catholique eût admis le dogme de l'Immaculée Conception, un mathématicien allemand, Georg Cantor, se servant d'une méthode de preuve intuitive, démontra qu'il y avait plusieurs grandeurs infinies. Cette preuve n'est possible que si l'on admet l'axiome du choix. Cet axiome naît pour intuitivement évident, mais qui devint l'axiome le plus controversé de l'histoire de la théorie des ensembles. Nous montrerons comment l'axiome du choix et le dogme de l'Immaculée Conception expriment le même contenu formel. Nous nous servirons de cet exemple pour penser comment les méthodes formelles pourraient rendre les débats théologiques décidables. Nous pensons formellement l'un des débats théologiques les plus importants de l'histoire des Églises chrétiennes: le débat de la prédestination.

Contexte

Section :
Sciences de la religion
news icon Thème du colloque :
Sciences de la religion
host icon Hôte : Université Laval

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Sciences de la religion
La mort dé-culturée selon Elisabeth Kübler-Ross: une interrogation
Jean-Marc Dufort
Forme et contenu de l'éducation morale scolaire
Anita Caron
La théorie des ensembles comme reprise formelle de la théologie
François-Michel Denis
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Sciences de la religion
La théorie des ensembles comme reprise formelle de la théologie
François-Michel Denis
De quelques conséquences non triviales pour les fondements des mathématiques d'une formalisation ad…
François-Michel Denis
Fondements à une théorie finiste des cardinaux transfinis
François-Michel Denis