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

Incomplétude | Passe-Science
https://www.youtube.com/watch?v=SBwupYwDgHg&t=109s

The Kolaski Sequence | Numberphile
https://www.youtube.com/watch?v=co5sOgZ3XcM

Do Numbers Exist? Numberphile
https://www.youtube.com/watch?v=1EGDCh75SpQ&t=334s

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&t=56s

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&t=251s


3 idées reçus sur la philosophie | Monsieur Phi
https://www.youtube.com/watch?v=NUuL7g-r8GY

Biodiversité algorithmique | Axiome 1

Axiome est un Podcast à l'interface entre les maths et la philo, présenté par Thibaut Giraud (Monsieur Phi) et Lê Nguyên Hoang (Science4All)