Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Temps (physique)En physique, le temps est défini par une mesure : le temps est ce que mesure une horloge. Une horloge, dans le sens physique du terme, est un instrument de mesure fondé sur un phénomène périodique. Les horloges mesurent des durées, et non un temps absolu, ce concept suffit pour tous les calculs physiques. Le temps est une quantité physique fondamentale dénotée par le symbole . En physique classique, non relativiste, c'est une quantité scalaire.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
HéréditéL’ est la transmission, au sein d'une espèce vivante ou d'une lignée de cellules, de caractéristiques d'une génération à la suivante. Les mécanismes de l'hérédité sont au cœur de la théorie de l'évolution car ils permettent l'accumulation des variations au fil des générations qui conduit à l'apparition de nouvelles espèces. En général, on associe l'hérédité aux gènes tels qu'ils furent découverts par Gregor Mendel mais d'autres mécanismes dits non mendéliens et épigénétiques peuvent aussi intervenir dans la transmission des caractères biologiques.
Maladie génétiqueUne maladie génétique est une maladie due à une ou plusieurs anomalies sur un ou plusieurs chromosomes qui entraînent un défaut de fonctionnement de certaines cellules de l'organisme. Ces cellules fabriquent des protéines. L'activité et la structure de chaque protéine est déterminée par l'information génétique contenue dans un gène. Si le gène est altéré, il entraîne la cellule dans un dysfonctionnement, qui peut se révéler, à tout âge de la vie, avec l'expression d'une maladie.
Groupe de LorentzLe groupe de Lorentz est le groupe mathématique constitué par l'ensemble des transformations de Lorentz de l'espace de Minkowski. Les formules mathématiques : des lois de la cinématique de la relativité restreinte ; des équations de champ de Maxwell dans la théorie de électromagnétisme ; de l'équation de Dirac dans la théorie de l'électron sont toutes invariantes sous les transformations de Lorentz. En conséquence, le groupe de Lorentz exprimerait la symétrie fondamentale de plusieurs lois de la nature.
