Thibaut et Lê font une revue des vidéos YouTube de juillet, et parlent de la validité mathématique des preuves, des problèmes d’existence en logique non-classique, les errements de Russell et la folie de ses compères logiciens.
Faut-il tout tuer ? Dirty Biology
https://www.youtube.com/watch?v=w3hTp7v2rqc
Automate cellulaire | Passe Science
https://www.youtube.com/watch?v=lkdnOuzHdFE
L’art de la propagande | C’est une autre histoire
https://www.youtube.com/watch?v=bipF-jn9838
Why Computers are Bad at Algebra | PBS Infinite Series
https://www.youtube.com/watch?v=pQs_wx8eoQ8
La Cité des permutants (Permutation City) | Greg Agan
https://www.amazon.fr/Cit%C3%A9-permutants-Greg-Egan/dp/2253072249
La fourmi de Langton | Science Étonnante
https://www.youtube.com/watch?v=qZRYGxF6D3w
Incomplétude | Passe-Science
https://www.youtube.com/watch?v=SBwupYwDgHg
The Kolaski Sequence | Numberphile
https://www.youtube.com/watch?v=co5sOgZ3XcM
Do Numbers Exist? Numberphile
https://www.youtube.com/watch?v=1EGDCh75SpQ
Deux (deux ?) minutes pour… le théorème de Banach-Tarski | Eljj
https://www.youtube.com/watch?v=fzyd02CXf-I
The Banach-Tarski Paradox | VSauce
https://www.youtube.com/watch?v=s86-Z-CbaHA
Les maths : invention ou découverte | Science4All
https://www.youtube.com/watch?v=jZXWv0th4qA
La théorie des types | Science4All
https://www.youtube.com/watch?v=ba4E6EMagj0
ABC Conjecture | Numberphile
https://www.youtube.com/watch?v=RkBl7WKzzRw
Fermat’s Last Theorem | Numberphile
https://www.youtube.com/watch?v=qiNcEguuFSA
New Wikipedia sized proof explained by a puzzle | Singing Banana
https://www.youtube.com/watch?v=pFHsrCNtJu4
FAQ - 1 an de la chaîne | Monsieur Phi
https://www.youtube.com/watch?v=iMJk91sOvmg
3 idées reçus sur la philosophie | Monsieur Phi
https://www.youtube.com/watch?v=NUuL7g-r8GY
Logicomix: An Epic Search for Truth
https://www.logicomix.com/en/index.html