« Remarques sur les fondements des mathématiques » : différence entre les versions

Contenu supprimé Contenu ajouté
m Ajout du paramètre oldid dans {{Traduction/Référence}} — d'après l'historique, la traduction date du 10 décembre 2022, à partir de la version du 30 novembre 2022 de l'article original
Malik2Mars (discuter | contributions)
Euh…
Ligne 14 :
Le débat tourne autour de l'''affirmation clé'' : « Si l'on suppose que P est prouvable dans PM, alors on devrait abandonner la « traduction » de P donnée par la phrase « P n'est pas prouvable ». ».
 
Wittgenstein ne mentionne pas le nom de [[Kurt Gödel]] qui était membre du [[Cercle de Vienne]] pendant la période où le ''[[Tractatus logico-philosophicus|Tractatus Logico-Philosophicus]]'' dominaient la pensée du Cercle; plusieursPlusieurs écrits de Gödel dans son Nachlass mentionne sa propre antipathie pour Wittgenstein et la conviction que Wittgenstein a délibérément mal interprété les théorèmes<ref name="edge">{{Lien web |auteur=Goldstein |prénom=Rebecca Newberger |titre=Gödel And The Nature Of Mathematical Truth |url=http://www.edge.org/3rd_culture/goldstein05/goldstein05_index.html |série=Edge |date=June 8, 2005 |consulté le=December 13, 2013}}</ref>. Certains commentateurs, comme Rebecca Goldstein, ont émis l'hypothèse que Gödel a développé ses théorèmes logiques en opposition à Wittgenstein<ref name="edge" />.
 
== Références ==