Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Espace de de SitterEn mathématiques, l’espace de de Sitter est un espace maximalement symétrique en quatre dimensions de courbure positive en signature . Il généralise en ce sens la 4-sphère au-delà de la géométrie euclidienne. Le nom vient de Willem de Sitter. La dimension 4 est très utilisée car elle correspond à la relativité générale. En fait, il existe en dimension entière . On peut définir l'espace de de Sitter comme une sous-variété d'un espace de Minkowski généralisé à une dimension supplémentaire.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Équation d'Einsteinvignette|Équation sur un mur à Leyde. L’'équation d'Einstein ou équation de champ d'Einstein' (en anglais, Einstein field equation ou EFE), publiée par Albert Einstein, pour la première fois le , est l'équation aux dérivées partielles principale de la relativité générale. C'est une équation dynamique qui décrit comment la matière et l'énergie modifient la géométrie de l'espace-temps. Cette courbure de la géométrie autour d'une source de matière est alors interprétée comme le champ gravitationnel de cette source.
HeuristiqueL'heuristique ou euristique (du grec ancien εὑρίσκω, heuriskô, « je trouve ») est en résolvant des problèmes à partir de connaissances incomplètes. Ce type d'analyse permet d'aboutir en un temps limité à des solutions acceptables. Celles-ci peuvent s'écarter de la solution optimale. Pour Daniel Kahneman, c'est une procédure qui aide à trouver des réponses adéquates, bien que souvent imparfaites à des questions difficiles. Ce système empirique inclut notamment la méthode essai-erreur ou l'analyse statistique des échantillons aléatoires.
Trou de vervignette|Exemple de trou de ver dans une métrique de Schwarzschild, tel qu'il serait vu par un observateur ayant franchi l'horizon du trou noir. La région d'où vient l'observateur est située à droite de l'image. Mise à part la région située près de l'ombre du trou noir, les effets de décalage vers le rouge gravitationnel rendent le fond du ciel très sombre. Celui-ci est en revanche très lumineux dans la seconde région, visible une fois l'horizon passé.
Mathématiques de la relativité généraleLes mathématiques de la relativité générale se réfèrent à différentes structures et techniques mathématiques utilisées par la théorie de la relativité générale d'Albert Einstein. Les principaux outils utilisés dans cette théorie géométrique de la gravitation sont les champs tensoriels définis sur une variété pseudo-riemannienne représentant l'espace-temps.
GéodésiqueEn géométrie, une géodésique est la généralisation d'une ligne droite du plan ou de l'espace euclidien, au cadre des surfaces, ou plus généralement des variétés ou des espaces métriques. Elles sont étroitement liées à la notion de plus court chemin relativement à un calcul de distance sur un tel espace. Ainsi, le plus court chemin (ou les plus courts chemins, s'il en existe plusieurs), entre deux points est toujours une géodésique. Mais plus précisément, on appelle géodésique une courbe qui, à l'échelle locale, relie les points en minimisant la distance.
Tensor–vector–scalar gravityTensor–vector–scalar gravity (TeVeS), developed by Jacob Bekenstein in 2004, is a relativistic generalization of Mordehai Milgrom's Modified Newtonian dynamics (MOND) paradigm. The main features of TeVeS can be summarized as follows: As it is derived from the action principle, TeVeS respects conservation laws; In the weak-field approximation of the spherically symmetric, static solution, TeVeS reproduces the MOND acceleration formula; TeVeS avoids the problems of earlier attempts to generalize MOND, such as superluminal propagation; As it is a relativistic theory it can accommodate gravitational lensing.
Heuristique de jugementLes heuristiques de jugement, concept fréquemment employé dans le domaine de la cognition sociale, sont des opérations mentales automatiques, intuitives et rapides pouvant être statistiques ou non statistiques. Ces raccourcis cognitifs sont utilisés par les individus afin de simplifier leurs opérations mentales dans le but de répondre aux exigences de l’environnement. Par exemple, les gens ont tendance à estimer le temps mis pour trouver un emploi en fonction de la facilité avec laquelle ils peuvent penser à des individus qui ont récemment été engagés, et non selon le temps moyen de recherche dans la population.
