Post

Dans cette vidéo j'aborde le lemme de Kőnig (faible), des considérations de calculabilité autour de ce lemme et la construction de l'arbre de Kleene. Le lemme de Kőnig est fondamental en mathématiques à rebours, étant utilisé dans différents théorèmes en analyse. www.youtube.com/watch?v=2ox9...