Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Structure nucléaireLa connaissance de la structure des noyaux atomiques, ou structure nucléaire est une question ouverte après un siècle de recherches en physique nucléaire. La force nucléaire entre les nucléons (protons et neutrons) qui composent le noyau, est une force résiduelle de l'interaction nucléaire forte qui lie les quarks dans le nucléon. L'interaction entre deux nucléons dans le noyau n'a pas d'expression analytique simple (comme par exemple, la loi de Coulomb pour l'électrostatique), notamment si l'on doit tenir compte de l'effet des nucléons environnants.
Principe d'équivalenceOn énumère en général trois principes d'équivalence : le principe « faible », celui d'Einstein et le principe « fort ». Le premier est le constat de l'égalité entre la masse inertielle et la masse gravitationnelle. Albert Einstein présente le second comme une « interprétation » du premier en termes d'équivalence locale entre la gravitation et l'accélération (elles sont localement indistinguables) ; c'est un élément clé de la construction de la relativité générale.
OrthogonalitéEn géométrie classique, l'orthogonalité est une propriété liée à l'existence d'un angle droit (orthos = droit, gônia = angle). Dans l'espace, deux droites sont orthogonales si elles sont chacune parallèles à des droites se coupant en angle droit ; deux perpendiculaires étant deux droites orthogonales et sécantes. Une droite est orthogonale à un plan si elle est orthogonale aux droites du plan. On parle de vecteurs orthogonaux pour des vecteurs directeurs de droites orthogonales et de segments orthogonaux pour des segments portés par des droites orthogonales.
Linguistique informatiqueLa linguistique informatique est un champ interdisciplinaire basé sur une modélisation symbolique (à base de règles) ou statistique du langage naturel établie dans une perspective informatique. Les langues humaines sont des systèmes sémiotiques où tout se tient et dont le sens est négociable, ce qui permet leur évolution. Le langage est véhiculé par plusieurs modalités sensorielles : le son (la parole), les traces graphiques (l’écriture), les gestes (langue des signes, gestuelle co-verbale).
Function approximationIn general, a function approximation problem asks us to select a function among a that closely matches ("approximates") a in a task-specific way. The need for function approximations arises in many branches of applied mathematics, and computer science in particular , such as predicting the growth of microbes in microbiology. Function approximations are used where theoretical models are unavailable or hard to compute.
Spin-weighted spherical harmonicsIn special functions, a topic in mathematics, spin-weighted spherical harmonics are generalizations of the standard spherical harmonics and—like the usual spherical harmonics—are functions on the sphere. Unlike ordinary spherical harmonics, the spin-weighted harmonics are U(1) gauge fields rather than scalar fields: mathematically, they take values in a complex line bundle. The spin-weighted harmonics are organized by degree l, just like ordinary spherical harmonics, but have an additional spin weight s that reflects the additional U(1) symmetry.
Méthode de Hartree-FockEn physique et chimie numérique, la méthode de Hartree-Fock est une méthode de résolution approchée de l'équation de Schrödinger d'un système quantique à plusieurs corps utilisant le principe variationnel pour approximer la fonction d'onde et l'énergie du niveau fondamental stationnaire. La méthode suppose habituellement que la fonction d'onde du système à plusieurs corps peut être approximativement écrite sous la forme d'un déterminant de Slater lorsque les particules sont des fermions, ou bien par un permanent pour le cas de bosons.
Beauté mathématiqueupright|droite|vignette|La frontière de l'ensemble de Mandelbrot. La beauté mathématique est un sentiment de beauté que certaines personnes ressentent face aux mathématiques. Certains mathématiciens recherchent dans leur travail ou dans les mathématiques en général, un plaisir esthétique. Ils expriment ce plaisir en décrivant de « belles » parties des mathématiques. Ils peuvent considérer les mathématiques comme un art ou comme une activité créative. Des comparaisons sont souvent faites avec la musique et la poésie.
Crystal structure predictionCrystal structure prediction (CSP) is the calculation of the crystal structures of solids from first principles. Reliable methods of predicting the crystal structure of a compound, based only on its composition, has been a goal of the physical sciences since the 1950s. Computational methods employed include simulated annealing, evolutionary algorithms, distributed multipole analysis, random sampling, basin-hopping, data mining, density functional theory and molecular mechanics.