Cote : 0542 IREM
Voici le texte de la causerie mathématique présentée par l'I.R.E.M. de BESANCON le 30 avril 1980, ainsi que la copie, sous forme de tableaux, des transparents utilisés au rétroprojecteur. Une annexe vient apporter certains élèments techniques volontairement laissés de côtés lors de l'exposé.
théorème de Gödel ; logique
... Lire [+]
