Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

On the philosophical relevance of Gödel’s Incompleteness theorems

  • Pages : 513 à 534
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 04-01-2011

Résumé :

Français

Gödel’s second incompleteness theorem states that no consistent formal system can prove its own consistency. These results are among the most philosophically important logico-mathematical discoveries ever made. However, there is also ample misunderstanding and confusion surrounding them. The aim of this paper is to review and evaluate various philosophical interpretations of Gödel’s theorems and their consequences, as well as to clarify some confusions.

 

Résumé :

Français

Gödel’s second incompleteness theorem states that no consistent formal system can prove its own consistency. These results are among the most philosophically important logico-mathematical discoveries ever made. However, there is also ample misunderstanding and confusion surrounding them. The aim of this paper is to review and evaluate various philosophical interpretations of Gödel’s theorems and their consequences, as well as to clarify some confusions.

 
Haut de pageRetour à la page précédente