« […] Dans le domaine des recherches relatives aux fondements logico-mathématiques, sa thèse de 1930 avait établi la complétude du calcul des prédicats. Mais il est encore plus connu pour ses deux théorèmes d'incomplétude […] Le premier théorème établit l'incomplétude de tout système formel capable de formaliser l'arithmétique élémentaire […] Le second théorème est un corollaire du premier ou une spécification de celui-ci […] Ces résultats très profonds ont modifié durablement les conceptions de certains mathématiciens; mais ils ont

« […] Il termine ses études de médecine en 1881 et entre, en 1883, dans le service de psychiatrie de Meynert. Chargé, d'une étude sur la cocaïne, il découvre, en 1884, ses propriétés analgésiques et pressent ses qualités anesthésiques. Freud l'expérimente sur lui-même. Une bourse lui permet d'aller à Paris en 1885 faire un stage chez Charcot à la Salpêtrière. Là, il observe les manifestations de l'hystérie et les effets de l'hypnotisme et de la suggestion. […] Il publie, en collaboration avec Breuer, les Études sur l'hystérie, […] On