 |
Après une licence en mathématiques-physique décernée par l'Université de Lausanne en 1945 puis quelques années dans l'enseignement secondaire vaudois, André Delessert est nommé en 1964 professeur ordinaire à la Faculté des sciences de l'Université de Lausanne dont il sera également le doyen. Il sera recteur de l'Université de Lausanne de 1983 à 1987. André Delessert a été secrétaire de la Commission internationale de l'enseignement mathématique et membre du Conseil suisse de la science et de l'Académie suisse des sciences techniques. Il est également l'un des créateurs du Centre vaudois pour l'enseignement mathématique, auteur de nombreux ouvrages et articles ainsi que sculpteur.

|
 |
 |
|
|
Bien qu'ils aient bouleversé les idées reçues et provoqué un renversement complet des conceptions classiques en mathématiques, les théorèmes de complétude et d'incomplétude énoncés...
|
 |
|
|
Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals.
|
 |