General Properties of Taylor Series 1896-1996.
Cet article examine comment la notion d’espace vectoriel de fonctions s’est peu à peu imposée dans l’analyse entre 1880 et 1930 environ. Malgré certaines approches formelles précoces, les questions linéaires en dimension infinie sont longtemps restées marquées par l’analogie avec la dimension finie, que l’on traitait alors à l’aide des déterminants. Nous regardons comment l’étude de l’équation de Fredholm d’une part, en particulier le travail de Hilbert, et l’émergence de notions topologiques d’autre...
Dans la deuxième moitié du xixe siècle, une ambition commune anime le groupe de mathématiciens dont les travaux sont présentés ici : contribuer à la diffusion de l’esprit scientifique auprès d’un large public. Le lieu d’expression de ce groupe est l’Association française pour l’avancement des sciences, créée en 1872, après la défaite de la France au cours du conflit franco-prussien. Rendre la science populaire, tel est le but poursuivi. Afin de répondre à cet objectif, les questions mathématiques...
Cet article porte sur la discussion par Gödel de la thèse de Turing. Pour l’essentiel, nous présentons des notes inédites conservées dans les Archives Gödel, qui apportent des éléments nouveaux sur la relation ambiguë de Gödel à Turing. La première section examine la position qu’avait Gödel avant 1937 sur la possibilité d’une définition de la calculabilité. La deuxième concerne directement l’interprétation par Gödel de la thèse de Turing. Dans plusieurs passages, antérieurs à 1937, Gödel qualifie...