Les mathématiques contemporaines sont devenues suffisamment puissantes pour démontrer que l’indémontrable existe. Présentation d’un des théorèmes les plus fascinant dans l’histoire des mathématiques, le théorème d’incomplétude de Kurt Gödel, 1931.
Pour en savoir plus:
https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8mes_d%27incompl%C3%A9tude_de_G%C3%B6del
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
http://lesswrong.com/lw/g1y/godels_completeness_and_incompleteness_theorems/
http://lesswrong.com/lw/g0i/standard_and_nonstandard_numbers/
Musique:
https://www.jamendo.com/en/track/20236/ambiphonic
https://www.jamendo.com/en/track/402591/mystical-background
https://archive.org/details/DarkSideOfTheTime19992014nonstop
Uploaded: 2015-08-17, 14:16