typo
This commit is contained in:
parent
0b10f693ff
commit
7311b3a88c
2 changed files with 2 additions and 2 deletions
|
@ -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é.
|
||||
|
|
|
@ -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é.
|
||||
|
|
Loading…
Reference in a new issue