Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
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.
