Gödel ferme la porte de l’intérieur
カートのアイテムが多すぎます
カートに追加できませんでした。
ウィッシュリストに追加できませんでした。
ほしい物リストの削除に失敗しました。
ポッドキャストのフォローに失敗しました
ポッドキャストのフォロー解除に失敗しました
Gödel ferme la porte de l’intérieur
-
ナレーター：
-
著者：
Peut-il exister un système formel capable de démontrer toutes les vérités arithmétiques tout en certifiant sa propre cohérence ? Gödel a montré que, sous des conditions précises, la réponse est non. Ce chapitre explore les théorèmes d’incomplétude, le codage des formules et des démonstrations par des nombres, ainsi que la construction d’un énoncé qui affirme essentiellement sa propre indémontrabilité. Le résultat ne signifie pas que les mathématiques sont incertaines ni que tout est relatif. Il affirme quelque chose de bien plus précis : tout système formel effectif, cohérent et suffisamment puissant pour exprimer l’arithmétique possède des limites internes qu’il ne peut éliminer en utilisant uniquement ses propres règles.
See omnystudio.com/listener for privacy information.