Protection de l'environnementLa protection de l'environnement consiste à prendre des mesures pour limiter ou éliminer l'impact négatif des activités humaines sur son environnement. Au-delà de la simple conservation de la nature, il s'agit de comprendre le fonctionnement systémique, et éventuellement planétaire de l'environnement ; d'identifier les actions humaines qui l'endommagent au point de porter préjudice aux générations actuelles ou futures ; et de mettre en place les actions de correction.
ExternalitéL'externalité caractérise le fait qu'un agent économique crée, par son activité, un effet externe en procurant à autrui, sans contrepartie monétaire, une utilité ou un avantage de façon gratuite, ou au contraire une nuisance, un dommage sans compensation (coût social, coût écosystémique, pertes de ressources pas, peu, difficilement, lentement ou coûteusement renouvelables...).
Membre du ParlementUn membre du Parlement (MP) est le membre élu d'un parlement. Dans un système bicaméral, un membre du Parlement est le plus souvent membre de la chambre basse alors que les membres de la chambre haute portent un autre titre, tel que sénateur ou lord. « Membre du Congrès » est un terme équivalent dans d'autres juridictions. En français, l'anglicisme « membre du Parlement » mais ne sont pas des MPs.
Science de l'environnementLa science de l'environnement ou science environnementale est une discipline qui intègre les sciences physiques et biologiques telles la physique, la chimie (la biochimie et la chimie de l'environnement), la biologie, l'écologie, la pédologie, la géologie, la géomorphologie, la géographie, la climatologie, l'écologie rétrospective, l'histoire environnementale, etc. afin de mener l'étude de l'environnement.
DécidabilitéEn logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L’indécidabilité est la négation de la décidabilité. Dans les deux cas, il s'agit de formaliser l'idée qu'on ne peut pas toujours conclure lorsque l'on se pose une question, même si celle-ci est sous forme logique. Une proposition (on dit aussi énoncé) est dite décidable dans une théorie axiomatique si on peut la démontrer ou démontrer sa négation dans le cadre de cette théorie.
Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
