Concept
Théorèmes d'incomplétude de Gödel
Concepts associés (82)
Frank Ramsey
Frank Plumpton Ramsey ( - ) est un mathématicien, économiste et logicien britannique. En économie, il est célèbre pour être l'auteur du modèle de Ramsey et la règle de Ramsey. Ramsey naît à Cambridge où son père est alors président du Magdalene College. Sa mère, Agnès Ramsey, a étudié l'histoire à Oxford. Il poursuit ses études au prestigieux Winchester College, avant de revenir à l'université de Cambridge pour étudier les mathématiques au Trinity College. Il obtient son diplôme en tant que senior wrangler (premier de l'examen final de mathématiques).
Paradoxe de Curry
Le paradoxe de Curry fut présenté par le mathématicien Haskell Curry en 1942 et permet d'arriver à n'importe quelle conclusion à partir d'une phrase auto-référentielle et de quelques règles logiques simples. Une telle phrase s'énonce : Si cette phrase est vraie, alors le monstre du Memphrémagog existe. Il est aussi nommé le paradoxe de Löb puisque la preuve se déroule de manière semblable à celle du théorème de Löb publié en 1955 par le mathématicien Martin Löb.