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.
Tracing garbage collectionIn computer programming, tracing garbage collection is a form of automatic memory management that consists of determining which objects should be deallocated ("garbage collected") by tracing which objects are reachable by a chain of references from certain "root" objects, and considering the rest as "garbage" and collecting them. Tracing garbage collection is the most common type of garbage collection – so much so that "garbage collection" often refers to tracing garbage collection, rather than other methods such as reference counting – and there are a large number of algorithms used in implementation.
Ramasse-miettes (informatique)thumb|Illustration d'un ramasse-miette compactant. Un ramasse-miettes, ou récupérateur de mémoire, ou glaneur de cellules (en anglais garbage collector, abrégé en GC), est un sous-système informatique de gestion automatique de la mémoire. Il est responsable du recyclage de la mémoire préalablement allouée puis inutilisée. Lorsqu'un système dispose d'un ramasse-miettes, ce dernier fait généralement partie de l'environnement d'exécution associé à un langage de programmation particulier.
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.
InnovationLinnovation est la recherche constante d'améliorations de l'existant, par contraste avec linvention, qui vise à créer du nouveau. Dans le domaine économique, l'innovation se traduit par la conception d'un nouveau produit, service, processus de fabrication ou d'organisation pouvant être directement mis en œuvre dans l'appareil productif et répondant aux besoins du consommateur. Elle se distingue ainsi de l'invention ou de la découverte par le fait qu'elle peut être immédiatement mise en œuvre par les entreprises, dans le but d'obtenir un avantage compétitif.
Diffusion of innovationsDiffusion of innovations is a theory that seeks to explain how, why, and at what rate new ideas and technology spread. The theory was popularized by Everett Rogers in his book Diffusion of Innovations, first published in 1962. Rogers argues that diffusion is the process by which an innovation is communicated over time among the participants in a social system. The origins of the diffusion of innovations theory are varied and span multiple disciplines.
Technologie de ruptureUne technologie de rupture (dite aussi rupture d'innovation ou technologique rupture) est une innovation technologique qui porte sur un produit ou un service et qui finit par remplacer une technologie dominante sur un marché. Cette disparition de la technologie existante se fera bien que la technologie de rupture soit radicalement différente et qu’elle soit souvent moins performante à l’origine selon les critères traditionnels de mesure.
