Seconde (temps)La seconde est une unité de mesure du temps de symbole s (sans point abréviatif). Qualitativement, elle est d'une durée égale à la soixantième partie de la minute, la minute étant elle-même la soixantième partie de l'heure. C'est d'ailleurs l'étymologie du mot qui provient de la francisation écourtée de l’expression minutum secunda en latin médiéval, qui signifie littéralement minute de second rang, c’est-à-dire seconde division de l’heure. C'est une des unités de base du Système international (SI), ainsi que du système CGS.
Microprocesseur multi-cœurvignette|Un processeur quad-core AMD Opteron. vignette|L’Intel Core 2 Duo E6300 est un processeur double cœur. Un microprocesseur multi-cœur (multi-core en anglais) est un microprocesseur possédant plusieurs cœurs physiques fonctionnant simultanément. Il se distingue d'architectures plus anciennes (360/91) où un processeur unique commandait plusieurs circuits de calcul simultanés. Un cœur (en anglais, core) est un ensemble de circuits capables d’exécuter des programmes de façon autonome.
Gentzen's consistency proofGentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e. are "consistent"), as long as a certain other system used in the proof does not contain any contradictions either. This other system, today called "primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor stronger than the system of Peano axioms.
Ordres de grandeur de duréeAn order of magnitude of time is usually a decimal prefix or decimal order-of-magnitude quantity together with a base unit of time, like a microsecond or a million years. In some cases, the order of magnitude may be implied (usually 1), like a "second" or "year". In other cases, the quantity name implies the base unit, like "century". In most cases, the base unit is seconds or years. Prefixes are not usually used with a base unit of years. Therefore, it is said "a million years" instead of "a mega year".
