Certains ensembles sont ni finis, ni infinis ! Infini 23

Cette vidéo étudie certains aspects intrigants et surprenants des mathématiques intuitionnistes. #DébattonsMieux

L'infini et les fondations mathématiques | Science4All Playlist
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t

Les machines de Turing | Math&Magique
https://www.youtube.com/watch?v=F9jjj0TaaKI

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

Am I a constructive mathematician? Mathematics and Computation (Andrej Bauer)
http://math.andrej.com/2012/10/03/am-i-a-constructive-mathematician/

Five Stages of Accepting Constructive Mathematics | Andrej Bauer at IAS and in AMS
https://www.youtube.com/watch?v=21qPOReu4FI
http://www.ams.org/journals/bull/0000-000-00/S0273-0979-2016-01556-4/S0273-0979-2016-01556-4.pdf

Division by three | Peter Doyle and John Conway
https://math.dartmouth.edu/~doyle/docs/three/three.pdf

You Can't Touch Anything | VSauce
https://www.youtube.com/watch?v=yE8rkG9Dw4s

Sonraki bölüm

S01E75 - La théorie des types | Infini 24