Le théorème de Gödel en 30 secondes

preview_player
Показать описание
#theoreme #godel #mathematique #incompletude
Théorème d'incomplétude de Gödel en 30 secondes, extrait du podcast Dialogues Dilettantes episode #5.1.

Écoutez le podcast complet sur spotify ou sur youtube!

Рекомендации по теме
Комментарии
Автор

Je coince, comment sait-on qu'il existera des phrases vraies qui seront indémontrables ? D'où tient-on qu'elles sont vraies ? N'est-ce pas parce qu'on les tient vraies en convoquant une axiomatique plus vaste que celle de l'arithmétique ?

Galilee