WEBVTT

Chapter 1
00:00:00.000 --> 00:01:55.000
Présentation

Chapter 2
00:01:55.000 --> 00:09:38.000
Introduction

Chapter 3
00:09:38.000 --> 00:19:48.000
L'arithmétique de Peano

Chapter 4
00:19:48.000 --> 00:26:22.000
Mathématique v.s informatique

Chapter 5
00:26:22.000 --> 00:38:42.000
Paradoxes

Chapter 6
00:38:42.000 --> 00:43:22.000
Les formalistes

Chapter 7
00:43:22.000 --> 00:54:20.000
Imcomplétude

Chapter 8
00:54:20.000 --> 1:02:48.000
Intuitionnismes

Chapter 9
1:02:48.000 --> 01:14:11.000
Questions