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é'.
Théorie des nombresTraditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs). Plus généralement, le champ d'étude de cette théorie concerne une large classe de problèmes qui proviennent naturellement de l'étude des entiers. La théorie des nombres occupe une place particulière en mathématiques, à la fois par ses connexions avec de nombreux autres domaines, et par la fascination qu'exercent ses théorèmes et ses problèmes ouverts, dont les énoncés sont souvent faciles à comprendre, même pour les non-mathématiciens.
Topologievignette|Déformation continue d'une tasse avec une anse, en un tore (bouée). thumb|Un ruban de Möbius est une surface fermée dont le bord se réduit à un cercle. De tels objets sont des sujets étudiés par la topologie. La topologie est la branche des mathématiques qui étudie les propriétés d'objets géométriques préservées par déformation continue sans arrachage ni recollement, comme un élastique que l’on peut tendre sans le rompre.
Mécanique (science)vignette|Gyroscope. Le gyroscope tient en équilibre sur la pointe fixe par le jeu des forces mécaniques (en particulier le couple de rappel) engendrées par la rotation rapide du disque au centre. La mécanique (du grec ancien , « l'art mécanique ») est une branche de la physique dont l'objet est l'étude du mouvement, des déformations ou des états d'équilibre des systèmes physiques. Cette science vise ainsi à décrire les mouvements de différentes sortes de corps, depuis les particules subatomiques avec la mécanique quantique, jusqu'aux galaxies avec la mécanique céleste.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Physique de la matière condenséeLa physique de la matière condensée est la branche de la physique qui étudie les propriétés microscopiques et macroscopiques de la matière dans un état dit « condensé ». Ce terme doit être entendu par opposition à d'autres états de la matière, plus dilués, tels que l’état gazeux et les plasmas, ou encore par opposition à l’étude des atomes ou molécules isolés ou peu nombreux. Son objet d’étude consiste donc principalement dans les solides, ce qui explique que cette branche de la physique a longtemps été désignée par le terme de « physique des solides ».
Théorie générale des systèmesvignette|Le processus de fonctionnement de l'organisation en tant que système ouvert La théorie générale des systèmes est l'étude interdisciplinaire des systèmes. Un système est un conglomérat cohésif de parties interreliées et interdépendantes qui peuvent être d'origine naturelle ou humaine. Chaque système est délimité par l'espace et le temps, influencé par son environnement, défini par sa structure et son objectif, et exprimé par son fonctionnement. Un système peut être plus que la somme de ses parties s'il exprime une synergie ou un comportement émergent.
Ingénierie et technologie spatialethumb|upright=1.6|Ingénieurs de la NASA pendant la mission Apollo 13 L'ingénierie et technologie spatiale désigne l'ensemble des fonctions concernant la conception, la construction, l'envoi dans l'espace et le contrôle ultérieur des véhicules spatiaux et des installations terrestres associées. Il s'agit d'un cas particulier d'ingénierie employé dans l'industrie spatiale. Puisqu'ils se déplacent dans l'espace, les véhicules spatiaux doivent subir des conditions éprouvantes : des forts gradients de température et de pression, de fortes contraintes structurales, des vibrations.
ArithmétiqueL'arithmétique est la branche des mathématiques qui étudie les nombres entiers naturels , relatifs et rationnels , voire réels , ainsi que leurs relations et propriétés, en lien avec quelques opérations élémentaires : addition (+), soustraction (−), multiplication (×), division (÷, /, ou :), puissance et racine (). Le terme inclut parfois d'autres concepts de la théorie des nombres. Le mot arithmétique vient du grec ancien , « nombre ». L’origine de l'arithmétique semble être une invention phénicienne.
Logique classiqueLa logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne.
