Johannes KeplerJohannes Kepler (ou Keppler), né le à Weil (ville libre d'Empire) et mort le à Ratisbonne (ville libre d'Empire), est un astronome allemand célèbre pour avoir étudié l’hypothèse héliocentrique de Nicolas Copernic, affirmant que la Terre tourne autour du Soleil et surtout pour avoir découvert que les planètes ne tournent pas autour du Soleil en suivant des trajectoires circulaires parfaites mais des trajectoires elliptiques. Kepler a découvert les relations mathématiques (dites Lois de Kepler) qui régissent les mouvements des planètes sur leur orbite.
Géométrie différentiellevignette|Exemple d'objets étudiés en géométrie différentielle. Un triangle dans une surface de type selle de cheval (un paraboloïde hyperbolique), ainsi que deux droites parallèles. En mathématiques, la géométrie différentielle est l'application des outils du calcul différentiel à l'étude de la géométrie. Les objets d'étude de base sont les variétés différentielles, ensembles ayant une régularité suffisante pour envisager la notion de dérivation, et les fonctions définies sur ces variétés.
Isaac NewtonIsaac Newton ( J – J, ou G – G) est un mathématicien, physicien, philosophe, alchimiste, astronome et théologien anglais, puis britannique. Figure emblématique des sciences, il est surtout reconnu pour avoir fondé la mécanique classique, pour sa théorie de la gravitation universelle et la création, en concurrence avec Gottfried Wilhelm Leibniz, du calcul infinitésimal. En optique, il a développé une théorie de la couleur fondée sur l'observation selon laquelle un prisme décompose la lumière blanche en un spectre visible.
Beaudroite|250px|vignette|Temple bouddhique dans les montagnes, copie ancienne d'après Li Cheng. Une thèse courante associe contemplation de la beauté et élévation spirituelle. Le beau ou la beauté est une notion abstraite liée à de nombreux aspects de l'existence humaine. Ce concept est étudié principalement par la discipline philosophique de l'esthétique, mais il est également abordé en partie par d'autres domaines (histoire, sociologie, psychologie, art).
Christian GoldbachChristian Goldbach (né le à Königsberg, duché de Prusse mort le ) est un mathématicien allemand. On le connaît surtout pour la conjecture qui porte son nom. Fils d'un pasteur de Brandebourg-Prusse, Christian Goldbach fait des études de droit ainsi que de mathématiques à l'université de Königsberg. En 1725, il entre à la toute nouvelle Académie impériale des sciences de Saint-Pétersbourg, à l'invitation de Blümentrost. Il devient en 1728 le tuteur du futur empereur Pierre II, et entre en 1742 au ministère des Affaires étrangères de Russie (appelé alors Collège).
Eugene WignerEugene Paul Wigner (en hongrois Wigner Jenő Pál, prononcé ; – ) est un physicien théoricien hongrois naturalisé américain. En 1963, Wigner, Maria Goeppert-Mayer et Hans Daniel Jensen partagèrent le prix Nobel de physique pour leur travail sur l'explication de la structure du noyau atomique et son développement de la théorie de mécanique quantique concernant la nature du proton et du neutron. vignette|gauche|Werner Heisenberg et Eugene Wigner en 1928.
Ensemble videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
Conjecture d'EulerLa conjecture d'Euler est une conjecture mathématique de théorie des nombres, réfutée, mais qui a été originellement proposée par le mathématicien suisse Leonhard Euler en 1772, et qui s'énonce de la façon suivante : Pour tout entier n strictement supérieur à 2, la somme de n – 1 puissances n-ièmes n'est pas une puissance n-ième. En d'autres termes, et de manière plus formelle : Euler percevait cet énoncé comme une généralisation de la conjecture de Fermat, à savoir que pour tout entier n strictement supérieur à 2, la somme de deux puissances n-ièmes n'est pas une puissance n-ième.
Principe du tiers excluEn logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu] ou " tertium non datur" [une troisième possibilité n'est pas accordée] , ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Par exemple, Socrate est vivant ou mort, et il n'y a pas de cas intermédiaire entre ces deux états de Socrate, c'est pourquoi on parle de « tiers-exclu » : tous les autres cas de figure sont nécessairement exclus.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
