diff --git a/content/html/fr/blog/2010-07-09-Indecidabilities.md b/content/html/fr/blog/2010-07-09-Indecidabilities.md index e4a6190f2..222a68aed 100644 --- a/content/html/fr/blog/2010-07-09-Indecidabilities.md +++ b/content/html/fr/blog/2010-07-09-Indecidabilities.md @@ -180,7 +180,7 @@ Un petit malin essaye de trouver la vérité en s'extrayant de mon Monde et en f <%= leftblogimage("stackOverflow.png") %> -Jusqu'ici, tous les problèmes d'indécidabilités était dûs aux _erreurs_. +Jusqu'ici, tous les problèmes d'indécidabilités étaient dûs aux _erreurs_. Maintenant peut-être que privé d'erreur de mesure, on pourrait enfin résoudre tous les problèmes. Et bien non. Même dans un monde mathématique complètement contrôlé. diff --git a/multi/blog/2010-07-09-Indecidabilities.md b/multi/blog/2010-07-09-Indecidabilities.md index bda648e74..0e28337a8 100644 --- a/multi/blog/2010-07-09-Indecidabilities.md +++ b/multi/blog/2010-07-09-Indecidabilities.md @@ -277,7 +277,7 @@ en: ## Logical Undecidability <%= leftblogimage("stackOverflow.png") %> -fr: Jusqu'ici, tous les problèmes d'indécidabilités était dûs aux _erreurs_. +fr: Jusqu'ici, tous les problèmes d'indécidabilités étaient dûs aux _erreurs_. fr: Maintenant peut-être que privé d'erreur de mesure, on pourrait enfin résoudre tous les problèmes. fr: Et bien non. fr: Même dans un monde mathématique complètement contrôlé.