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