Biodiversité algorithmique | Axiome 1

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

Volgende aflevering

S01E02 - Optimisme probabiliste | Axiome 2