BootstrappingIn general, bootstrapping usually refers to a self-starting process that is supposed to continue or grow without external input. Tall boots may have a tab, loop or handle at the top known as a bootstrap, allowing one to use fingers or a boot hook tool to help pull the boots on. The saying "to " was already in use during the 19th century as an example of an impossible task. The idiom dates at least to 1834, when it appeared in the Workingman's Advocate: "It is conjectured that Mr.
Réduction du paquet d'ondeLa réduction du paquet d'onde est un concept de la mécanique quantique selon lequel, après une mesure, un système physique voit son état entièrement réduit à celui qui a été mesuré. Pendant longtemps, le processus par lequel cette réduction a lieu a été inconnu des physiciens, ce qui les a contraint à en faire un postulat afin de rester conforme aux résultats expérimentaux. Le concept de réduction du paquet d'onde implique de nombreuses difficultés sur le plan logique et épistémologique.
Concept (philosophie)En logique, un concept est un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition. En linguistique, le concept représente le signifié, c'est-à-dire le sens du mot, tandis que le mot lui-même constitue son signifiant. Le concept est un terme abstrait qui se distingue donc de la chose désignée par ce concept. Le terme lui-même est introduit au Moyen Âge (conceptus) par Thomas d'Aquin puis Guillaume d'Ockham et les autres philosophes scolastiques .
Ondevignette|Propagation d'une onde. Une onde est la propagation d'une perturbation produisant sur son passage une variation réversible des propriétés physiques locales du milieu. Elle se déplace avec une vitesse déterminée qui dépend des caractéristiques du milieu de propagation. vignette|Une vague s'écrasant sur le rivage. Il existe trois principaux types d'ondes : les ondes mécaniques se propagent à travers une matière physique dont la substance se déforme. Les forces de restauration inversent alors la déformation.
Angular momentum couplingIn quantum mechanics, the procedure of constructing eigenstates of total angular momentum out of eigenstates of separate angular momenta is called angular momentum coupling. For instance, the orbit and spin of a single particle can interact through spin–orbit interaction, in which case the complete physical picture must include spin–orbit coupling. Or two charged particles, each with a well-defined angular momentum, may interact by Coulomb forces, in which case coupling of the two one-particle angular momenta to a total angular momentum is a useful step in the solution of the two-particle Schrödinger equation.
Complétude (logique)En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes ; autrement, le système est dit incomplet. Le terme « complet » est également utilisé sans qualification, avec des significations différentes selon le contexte, la plupart du temps se référant à la propriété de la validité sémantique.
Double désintégration bêtaLe processus de double désintégration bêta est un mode de décroissance nucléaire, qui consiste en deux désintégrations bêta simultanées dans un même noyau atomique. Il résulte généralement de ce processus l'émission de deux neutrinos, mais certaines théories prédisent une double désintégration sans émission de neutrinos, bien qu'un tel évènement n'ait jamais été observé. La double désintégration bêta avec émission de neutrinos (ββ2ν) est un mode de décroissance autorisé par le modèle standard.
Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
Scientific theoryA scientific theory is an explanation of an aspect of the natural world and universe that can be (or a fortiori, that has been) repeatedly tested and corroborated in accordance with the scientific method, using accepted protocols of observation, measurement, and evaluation of results. Where possible, theories are tested under controlled conditions in an experiment. In circumstances not amenable to experimental testing, theories are evaluated through principles of abductive reasoning.
Spectroscopie RMNvignette|redresse|Spectromètre RMN avec passeur automatique d'échantillons utilisé en chimie organique pour la détermination des structures chimiques. vignette|redresse|Animation présentant le principe de la Résonance Magnétique Nucléaire (RMN). La spectroscopie RMN est une technique qui exploite les propriétés magnétiques de certains noyaux atomiques. Elle est basée sur le phénomène de résonance magnétique nucléaire (RMN), utilisé également en sous le nom d’.
Offre et demandeL'offre et la demande est un modèle économique de détermination des prix dans un marché. Notamment utilisé en microéconomie, ce modèle énonce que, certaines hypothèses étant respectées, le fonctionnement d'un marché permet au prix unitaire du bien vendu sur ce marché de varier jusqu'à ce que où la quantité demandée soit égale à la quantité fournie. Il résulte ainsi un équilibre économique entre le prix offert et la quantité demandée.
Étude de FraminghamLétude de Framingham est une étude épidémiologique au long cours, dont l'objet initial était les maladies cardiovasculaires. Elle a été réalisée depuis 1948 dans la ville de Framingham (Massachusetts), aux États-Unis, choisie pour sa représentativité de la population globale américaine et la proximité universitaire (Harvard Medical School, l'une des institutions initiatrices du projet). La ville a par ailleurs eu un précédent, avec une première étude épidémiologique sur la tuberculose dans les années 1910.
