Retourner au contenu associé (entrée de forum : Question (naïve ?) sur le une partie théorème de Gödel.)
Posté par thoasm le 26 novembre 2012 à 13:52. En réponse au message Question (naïve ?) sur le une partie théorème de Gödel.. Évalué à 4.
Ça veut dire les deux. Soit il est impossible de trouver une preuve (dans T), soit si tu trouves une preuve ça signifie que le système axiomatique est incohérent, ce qui rend son intérêt à peu prêt nul: tu peux y démontrer n'importe quoi.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Cohérence
Posté par thoasm . En réponse au message Question (naïve ?) sur le une partie théorème de Gödel.. Évalué à 4.
Ça veut dire les deux. Soit il est impossible de trouver une preuve (dans T), soit si tu trouves une preuve ça signifie que le système axiomatique est incohérent, ce qui rend son intérêt à peu prêt nul: tu peux y démontrer n'importe quoi.