Club mathématique
de l'Université de Montréal

Accueil Journal Calendrier Archive

L'informatique théorique : la science des programmeurs ou le fondement des mathématiques ?

La notion de problèmes indécidables relevée au siècle dernier a conduit à des conséquences profondes dans la prouvabilité d'énoncés mathématiques. Je vous propose un survol de ces questions abstraites, celles dont le traitement a rendu possible la conception de l'outil technologique de l'heure : l'ordinateur.

Par Charles-Alexandre Bédard, (Étudiant, Université de Montréal)