Radioastronomiethumb|Le Very Large Array près de Socorro (Nouveau-Mexique) aux États-Unis : un interféromètre astronomique radio. La radioastronomie est une branche de l'astronomie traitant de l'observation du ciel dans le domaine des ondes radio. C'est une science relativement jeune qui est née dans les années 1930 mais qui n'a pris son essor que dans les années 1950/1960 avec la réalisation de grands instruments (Parkes, Greenbank, Arecibo, Jodrell Bank, Westerbork et Nançay).
Radiotélescopethumb|Le Radiotélescope Very Large Array en configuration D. thumb|Le Radiotélescope Ryle à l'Université de Cambridge. thumb|RT-70. Un radiotélescope est un télescope spécifique utilisé en radioastronomie pour capter les ondes radioélectriques émises par les astres. Ces ondes radio, bien que plus ou moins prédites par certains physiciens comme Thomas Edison et Oliver Lodge, ne sont véritablement découvertes qu'au début des années 1930 par Karl Jansky lorsqu'il cherche l'origine de certaines interférences avec les transmissions radio terrestres.
Interféromètre astronomiqueUn interféromètre astronomique est un réseau de télescopes ou segments de miroirs qui agissent ensemble aux fins de détection avec une résolution plus grande, via l'interférométrie. L'avantage d'un interféromètre est que son pouvoir de résolution est le même que celui d'un télescope avec la même ouverture que s'il englobait tous les sous-composants de l'interféromètre. Le désavantage principal est qu'il ne collecte pas autant de photons, donc ce type d'instruments est surtout utile pour des objets plus lumineux, tels des étoiles binaires.
Formalisme de JonesLe formalisme de Jones est un formalisme matriciel permettant de décrire l'état de polarisation de la lumière, ou de manière générale d'une onde électromagnétique, et son évolution à travers un système optique. Ce formalisme doit son nom à son inventeur Robert C. Jones qui le définit en 1941. Dans ce formalisme, on représente la lumière polarisée par un vecteur de Jones et les éléments optiques linéaires sont représentés par des matrices de Jones.
Paramètres de StokesLes paramètres de Stokes sont un ensemble de quatre valeurs qui décrivent l'état de polarisation d'une onde électromagnétique (dont notamment la lumière visible). Ils doivent leur nom à George Gabriel Stokes qui les a introduits en 1852. Les paramètres sont souvent notés sous forme d'un vecteur, le vecteur de Stokes, et s'expriment en fonction de l'intensité totale du faisceau, son taux de polarisation et des paramètres liées à la forme de l'ellipse de polarisation.
Interférométrievignette|Le trajet de la lumière à travers un interféromètre de Michelson. Les deux rayons lumineux avec une source commune se combinent au miroir semi-argenté pour atteindre le détecteur. Ils peuvent interférer de manière constructive (renforcement de l'intensité) si leurs ondes lumineuses arrivent en phase, ou interférer de manière destructive (affaiblissement de l'intensité) s'ils arrivent en déphasage, en fonction des distances exactes entre les trois miroirs.
Astronomiethumb|350px|Nébuleuse M17 : photographie prise par le télescope Hubble. L'astronomie est la science de l'observation des astres, cherchant à expliquer leur origine, leur évolution, ainsi que leurs propriétés physiques et chimiques. Le terme astronomie vient du grec (de , « astre, étoile », et , « loi ») : la loi des astres. Avec plus de d'histoire, les origines de l'astronomie remontent au-delà de l'Antiquité dans les pratiques religieuses préhistoriques. L'astronomie est l'une des rares sciences où les amateurs jouent encore un rôle actif.
New FoundationsEn logique mathématique, New Foundations (NF) est une théorie des ensembles axiomatique introduite par Willard Van Orman Quine en 1937, dans un article intitulé « New Foundations for Mathematical Logic », et qui a connu un certain nombre de variantes. Pour éviter le paradoxe de Russell, le principe de compréhension est restreint aux formules stratifiées, une restriction inspirée de la théorie des types, mais où la notion de type est implicite.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Philosophie des mathématiquesLa philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur usage. On y croise des questions telles que : « les mathématiques sont-elles nécessaires ? », « pourquoi les mathématiques sont-elles utiles ou efficaces pour décrire la nature ? », « dans quel(s) sens, peut-on dire que les entités mathématiques existent ? » ou « pourquoi et comment peut-on dire qu'une proposition mathématique est vraie ? ».
Unpolarized lightUnpolarized light is light with a random, time-varying polarization. Natural light, like most other common sources of visible light, is produced independently by a large number of atoms or molecules whose emissions are uncorrelated. Unpolarized light can be produced from the incoherent combination of vertical and horizontal linearly polarized light, or right- and left-handed circularly polarized light. Conversely, the two constituent linearly polarized states of unpolarized light cannot form an interference pattern, even if rotated into alignment (Fresnel–Arago 3rd law).
Interféromètre de Michelsonvignette|upright=2|Exemple d'interféromètre de Michelson présent dans les laboratoires de l'Institut d'Optique. L'interféromètre de Michelson (parfois appelé simplement « Michelson » par métonymie) est un dispositif optique inventé par Albert Abraham Michelson et Edward Morley qui produit des interférences par division d'amplitude (mais aussi par division du front d'onde dans le cas d'une source ponctuelle). Il est constitué essentiellement de deux miroirs et d'une lame semi-réfléchissante.
Forme de l'Universthumb|Les trois formes possibles de l'Univers (voir l'article courbure spatiale). Le modèle le plus probable en 2016 est celui de l'Univers plat. Le terme "forme de l'Univers", en cosmologie, désigne généralement soit la forme (la courbure et la topologie) d'une section spatiale de l'Univers (« forme de l'espace-temps »), soit, de façon plus générale, la forme de l'espace-temps tout entier. Selon les observations astronomiques, l'Univers apparaît plat, avec toutefois une marge d'erreur de 0,4 %.
Univers d'EinsteinL' est le premier modèle cosmologique fondé sur la théorie de la relativité générale découverte par Albert Einstein en 1915. Le modèle a été proposé par Einstein lui-même en 1917, mais a été abandonné à la suite de la découverte de l'expansion de l'Univers. L'Univers ainsi modélisé est statique et fermé, de courbure positive, dont la géométrie est celle d'une hypersphère, contenant une distribution homogène et isotrope de poussière de densité d'énergie propre , ainsi qu'une constante cosmologique , telle que : où est la constante de Newton et est la vitesse de la lumière dans le vide.
Univers observableL'Univers observable est, en cosmologie, la partie visible de notre Univers. Il est donc une boule dont la limite est située à l'horizon cosmologique et dont la Terre constitue le centre. C'est ainsi une notion relative, d'autres observateurs situés ailleurs dans l'Univers n'ont pas la même boule observable, mais une similaire de même rayon.
Expansion de l'Universdroite|redresse=1.2|vignette|L'expansion de l'Univers imagée par le gonflement d'un gâteau aux raisins. En cosmologie, l'expansion de l'Univers est le nom du phénomène qui voit à grande échelle les objets composant l'Univers (galaxies, amas...) s'éloigner les uns des autres. Cet écartement mutuel, que l'on pourrait prendre pour un mouvement des galaxies dans l'espace, s'interprète en réalité par un gonflement, une dilatation, de l'espace lui-même, les objets célestes étant de ce fait amenés à s'éloigner les uns des autres.
Histoire et chronologie de l'Universvignette|upright=1.5|Schéma simplifié des principales étapes de la formation de l'Univers.1- Big Bang.2- Ère de l'inflation.3- Découplage de l'interaction forte et faible et formation des particules.4- Formation des étoiles et galaxies. Lhistoire et la chronologie de l'Univers décrit l'évolution de l’Univers en s'appuyant sur le modèle standard de la cosmologie, fondé sur le modèle cosmologique du Big Bang et les recherches en cosmologie et en astronomie. Selon plusieurs estimations, l'âge de l'Univers serait d'environ d'années.
Radio spectrumThe radio spectrum is the part of the electromagnetic spectrum with frequencies from 3 Hz to 3,000 GHz (3 THz). Electromagnetic waves in this frequency range, called radio waves, are widely used in modern technology, particularly in telecommunication. To prevent interference between different users, the generation and transmission of radio waves is strictly regulated by national laws, coordinated by an international body, the International Telecommunication Union (ITU).
Shortwave radioShortwave radio is radio transmission using shortwave (SW) radio frequencies. There is no official definition of the band, but the range always includes all of the high frequency band (HF), which extends from 3 to 30 MHz (100 to 10 metres); above the medium frequency band (MF), to the bottom of the VHF band. Radio waves in the shortwave band can be reflected or refracted from a layer of electrically charged atoms in the atmosphere called the ionosphere.
