Gödel : des théorèmes d’incomplétude à la théorie des concepts

Fiche du document

Date

28 juin 2010

Discipline
Type de document
Périmètre
Langue
Identifiant
Source

Noesis

Relations

Ce document est lié à :
info:eu-repo/semantics/reference/issn/1275-7691

Ce document est lié à :
info:eu-repo/semantics/reference/issn/1773-0228

Organisation

OpenEdition

Licences

All rights reserved , info:eu-repo/semantics/openAccess

Résumé 0

Ce qui a motivé cet exposé est un cours sur les théorèmes d’incomplétude de Gödel, qui me fit découvrir un aspect des travaux de Gödel allant à l’encontre de l’idée que je me faisais de lui. Jusqu’alors, en effet, sans aller jusqu’à croire que les théorèmes de limitation amenèrent « la chute de la maison Hilbert », comme le suggère J. Y. Girard, je pensai que Gödel avait mis fin au rêve d’omnipotence de Hilbert, résumé en une formule célèbre « en mathématiques il n’y a pas d’ignorabimus ». En...

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en