[NDLR : article originaire de La Dépêche] Texte de Luc Morin, enseignant au Département des Mathématiques. Depuis mon entrée au collège, il m’a été donné…
Présentation de l'éditeur Kurt Gödel (1906-1978) fut sans doute l'un des plus grands logiciens de l'histoire. Son théorème d'incomplétude, publié en 1931, est peut-être la…