Traitement du sonLe traitement du son est la branche du traitement du signal qui s'applique aux signaux audio, dans le but notamment d'en améliorer la qualité, de les compresser, ou d'en extraire de l'information. Le terme analogique désigne quelque chose qui est mathématiquement représenté par une fonction continue. Donc un signal analogique est un signal représenté par un flux continu de donnée, ici dans un circuit électrique sous la forme de tension ou de courant.
Pôle Sudthumb|Carte de l'Antarctique indiquant : 1 : le pôle Sud géographique 2 : le pôle Sud magnétique (en 2007) 3 : le pôle Sud géomagnétique 4 : le pôle Sud d'inaccessibilité Le pôle Sud est le point le plus au sud de la surface de la Terre, diamétralement opposé au pôle Nord. Il est situé sur le continent Antarctique. Le pôle Sud est parfois désigné comme « géographique » afin de le distinguer du pôle Sud magnétique. Bien que tous deux situés en Antarctique, les deux points ne coïncident pas car l'emplacement du pôle Sud magnétique suit les variations du champ magnétique terrestre.
FréquenceEn physique, la fréquence est le nombre de fois qu'un phénomène périodique se reproduit par unité de temps. Dans le Système international d'unités, la fréquence s'exprime en hertz (Hz). La notion de fréquence s'applique aux phénomènes périodiques ou non. L'analyse spectrale transforme la description d'un phénomène en fonction du temps en description en fonction de la fréquence. Dans plusieurs domaines technologiques, on parle de fréquence spatiale. Dans cet usage, une dimension de l'espace prend la place du temps.
PerçageLe perçage est un usinage consistant à faire un trou dans une pièce. Ce trou peut traverser la pièce de part en part ou bien ne pas déboucher. On parle alors de trou borgne. Ce trou peut être effectué par un foret sur une perceuse, une mèche sur un vilebrequin, la découpe entre un poinçon et une matrice, laser, électro-érosion, ultrasons, etc. Ce trou peut servir à faire passer une pièce (un arbre, un tube), un fluide, ou peut encore être taraudé pour recevoir une vis.
PerceuseUne perceuse ou foreuse est un outil qui sert à percer des trous dans différents matériaux à l'aide de forets. Les perceuses modernes sont l'aboutissement de plusieurs siècles de technologie. Les vilebrequins sont apparus dans les ateliers de menuisiers et chez les charpentiers vers le . Les perceuses manuelles à engrenage datent du , et c'est vers la fin du que sont apparues les premières perceuses électriques. vignette|redresse|Perceuse manuelle ou chignole. vignette|redresse|Perceuse artisanale.
ForetUn foret ou une mèche est un outil qui sert à faire ou usiner des trous, le plus souvent avec une perceuse. Il en existe différents types suivant la géométrie du perçage à réaliser et les matériaux usinés. Un foret travaille en coupant la matière à son extrémité ; si la coupe survient sur le flanc il s'agit d'une fraise. Certains forets réalisent les deux : les forets aléseurs. Le terme foret désigne l'outil de perçage dans du métal, du béton, de la brique, de la pierre. Pour le bois, c'est le terme de mèche qui est à utiliser (mèche à bois).
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.
Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
NeutrinoLe neutrino est une particule élémentaire du modèle standard de la physique des particules. Les neutrinos sont des fermions de , plus précisément des leptons. Ils sont électriquement neutres. Il en existe trois « saveurs » : électronique, muonique et tauique. L’existence du neutrino a été postulée pour la première fois en 1930 par Wolfgang Pauli pour expliquer le spectre continu de la désintégration bêta ainsi que l’apparente non-conservation du moment cinétique, et sa première confirmation expérimentale remonte à 1956.
Hilbert's second problemIn mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that the arithmetic is consistent – free of any internal contradictions. Hilbert stated that the axioms he considered for arithmetic were the ones given in , which include a second order completeness axiom. In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that Gödel's theorems give a negative solution to the problem, while others consider Gentzen's proof as a partial positive solution.
