Podcast science 92 – Les théorèmes d’incomplétude de Gödel

 

Qu’est ce qu’une bonne théorie mathématique ? Comment s’assure-t-on qu’une phrase est vraie ou fausse ?  Est-ce qu’une proposition mathématique est obligatoirement soit vraie soit fausse ? La logique peut-elle venir à bout de toute question mathématique clairement posée ? Attention, dans ce genre de domaine, tout est toujours un peu plus compliqué que ce qu’on pense…
=> Le dossier de Robin Jamet: les théorèmes d’incomplétude de Gödel
 
 
Les livres évoqués par Robin:
 
Les liens de la semaine:
 
Les quotes de la semaine:

Un naturaliste, qui n’aurait jamais étudié l’éléphant qu’au microscope, croirait-il connaître suffisamment cet animal ? Eh bien ! En Mathématiques, il y a quelque chose d’analogue. Le logicien décompose pour ainsi dire chaque démonstration en un très grand nombre d’opérations élémentaires ; quand on aura examiné ces opérations les unes après les autres et qu’on aura constaté que chacune d’elles est correcte, croira-t-on avoir compris le véritable sens de la démonstration ? Henri Poincaré

Great minds discuss ideas; average minds discuss events; small minds discuss people.

Eleanor Roosevelt

A jeudi prochain pour parler cancérigènes avec Franck!

Derniers épisodes