Freeman DysonFreeman J. Dyson, né le à Crowthorne dans le Berkshire (Royaume-Uni) et mort le à Princeton (New Jersey), est un physicien théoricien et mathématicien britanno-américain. Il contribue notamment aux fondements de l'électrodynamique quantique en 1948. Il fait également de nombreuses contributions à la physique des solides, l'astronomie et l’ingénierie nucléaire. On lui doit plusieurs concepts qui portent son nom, tels que la , , la conjecture de Dyson, la et la sphère de Dyson. Son père est le compositeur George Dyson.
Analyse non standardEn mathématiques, et plus précisément en analyse, l'analyse non standard est un ensemble d'outils développés depuis 1960 afin de traiter la notion d'infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d'objet standard (s'opposant à celle d'objet non standard), ou plus généralement de modèle standard ou de modèle non standard. Cela permet de présenter les principaux résultats de l'analyse sous une forme plus intuitive que celle exposée traditionnellement depuis le .
Analyse (mathématiques)L'analyse (du grec , délier, examiner en détail, résoudre) a pour point de départ la formulation rigoureuse du calcul infinitésimal. C'est la branche des mathématiques qui traite explicitement de la notion de limite, que ce soit la limite d'une suite ou la limite d'une fonction. Elle inclut également des notions comme la continuité, la dérivation et l'intégration. Ces notions sont étudiées dans le contexte des nombres réels ou des nombres complexes.
Échelle de Kardachevvignette|upright=1.5|alt=Photo en couleur. En avant-plan, un observatoire astronomique émet un rayon de lumière verticalement. En arrière-plan se dessine un amas d'étoiles dans la nuit.|À l'observatoire du Cerro Paranal, utilisation d'un rayon laser pour créer une étoile artificielle servant au réglage du Very Large Telescope (VLT). La recherche d'exoplanètes sur lesquelles pourraient se trouver des civilisations extraterrestres fait partie des nombreuses missions du VLT.
Sphère de Dysonthumb|upright=1.2|Schéma d’une coquille de Dyson d’une unité astronomique de rayon. Une sphère de Dyson est une mégastructure hypothétique décrite en 1960 par le physicien et mathématicien américano-britannique éponyme Freeman Dyson, dans un court article publié dans la revue Science et intitulé Search for Artificial Stellar Sources of Infrared Radiation (« Recherche de sources stellaires artificielles de rayonnements infrarouges »).
