Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Technologievignette|250px|Durant la seconde moitié du , l'humanité a atteint la maîtrise technologique nécessaire pour quitter pour la première fois l'atmosphère terrestre et partir à la conquête de l'espace. La technologie est l'étude des outils et des techniques. Le terme désigne les observations sur l'état de l'art aux diverses périodes historiques, en matière d'outils et de savoir-faire. Il comprend l'art, l'artisanat, les métiers, les sciences appliquées et éventuellement les connaissances.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Chômage technologiqueLe Chômage technologique est la perte d'emplois causée par les changements technologiques. C'est un type de chômage structurel. Les changements technologiques incluent généralement l’introduction de machines mécaniques (qui réduisent le besoin de main-d’œuvre) ainsi que des processus de décision automatique améliorant l'efficacité (Automatisme). De même que l'automobile a progressivement rendu obsolètes les chevaux employés comme moyen de locomotion, les emplois humains furent affectés au cours de l'Histoire moderne.
Technological revolutionA technological revolution is a period in which one or more technologies is replaced by another novel technology in a short amount of time. It is an era of accelerated technological progress characterized by innovations whose rapid application and diffusion typically cause an abrupt change in society. A technological revolution generally increases productivity and efficiency. It may involve material or ideological changes caused by the introduction of a device or system.
Technological convergenceTechnological convergence is the tendency for technologies that were originally unrelated to become more closely integrated and even unified as they develop and advance. For example, watches, telephones, television, computers, and social media platforms began as separate and mostly unrelated technologies, but have converged in many ways into an interrelated telecommunication, media, and technology industry.
Intelligence collectiveL'intelligence collective ou de groupe se manifeste par le fait qu'une équipe d'agents coopérants peut résoudre des problèmes plus efficacement que lorsque ces agents travaillent isolément . Le concept d’intelligence collective a été mobilisé pour aborder des collectifs d'agents très divers : des insectes vivant en colonies, des équipes d'humains, des robots collaboratifs, bien que dans ce dernier cas il conviendrait plutôt de parler d'intelligence distribuée. Pour Pierre Lévy, il s'agit d'une .
Action collective (sociologie)Une action collective est, en sociologie, un type d'action, collective, résultant d'une coordination non concertée par les agents des buts ou des formes de leurs actions individuelles. Les agents n’ont pas d’engagements les uns à l’égard des autres. La sociologie distingue deux types d'actions collectives : Lorsque la coordination est simplement induite par les circonstances, l’action collective est dite plurielle : les fins et moyens s’imposent ou sont suggérés. C'est le cas du « sauve qui peut » et des phénomènes de foule.
