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.
Ajax (informatique)Ajax est une méthode utilisant différentes technologies ajoutées aux navigateurs web entre 1995 et 2005, et dont la particularité est de permettre d'effectuer des requêtes au serveur web et, en conséquence, de modifier partiellement la page web affichée sur le poste client sans avoir à afficher une nouvelle page complète. Cette architecture informatique permet de construire des applications Web et des sites web dynamiques interactifs. Ajax est l'acronyme d'asynchronous JavaScript and XML : JavaScript et XML asynchrones.
E-commerce payment systemAn e-commerce payment system (or an electronic payment system) facilitates the acceptance of electronic payment for offline transfer, also known as a subcomponent of electronic data interchange (EDI), e-commerce payment systems have become increasingly popular due to the widespread use of the internet-based shopping and banking. Credit cards remain the most common forms of payment for e-commerce transactions. As of 2008, in North America, almost 90% of online retail transactions were made with this payment type.
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.
Programme nucléaire du Royaume-UniLe Programme nucléaire du Royaume-Uni, l'un des premiers au monde historiquement, voit l'inauguration d'une première centrale nucléaire en 1956, et fournissait en 2021 14,8% de l'électricité produite au Royaume-Uni. Le parc nucléaire du royaume comprend, en 2023, 9 réacteurs nucléaires opérationnels répartis sur 4 sites. Le combustible nucléaire est retraité dans l'usine de Sellafield (anciennement Windscale).
Programme de HilbertLe programme de Hilbert est un programme créé par David Hilbert dans le but d'assurer les fondements des mathématiques. Les conceptions scientifiques de David Hilbert ont une grande influence sur les mathématiciens de son époque. Hilbert s'oppose fermement au pessimisme scientifique prôné en particulier par le physiologiste Emil du Bois-Reymond, pour qui il est des questions en sciences qui resteront toujours sans réponse, une doctrine connue sous le nom d'« Ignorabimus » (du latin ignoramus et ignorabimus : « Nous ne savons pas et nous ne saurons jamais »).
Cassandra (base de données)Apache Cassandra est un système de gestion de base de données (SGBD) de type NoSQL conçu pour gérer des quantités massives de données sur un grand nombre de serveurs, assurant une haute disponibilité en éliminant les points de défaillance unique. Il permet une répartition robuste sur plusieurs centres de données , avec une réplication asynchrone sans nœud maître et une faible latence pour les opérations de tous les clients. Cassandra met l'accent sur la performance.
Site de rencontresUn site de rencontres est un site web qui permet aux individus d'entrer en contact et de communiquer afin de développer une relation plus ou moins longue de nature sentimentale, érotique ou amicale. L'accès à ces sites demande souvent de fournir des informations personnelles telles que l'âge, le genre et le lieu géographique. Les sites de rencontres fonctionnent en quelque sorte comme un marché : ils offrent un espace permettant de « prospecter » et de « se vendre » dans le but de trouver la personne avec qui développer une relation.
Decay theoryThe Decay theory is a theory that proposes that memory fades due to the mere passage of time. Information is therefore less available for later retrieval as time passes and memory, as well as memory strength, wears away. When an individual learns something new, a neurochemical "memory trace" is created. However, over time this trace slowly disintegrates. Actively rehearsing information is believed to be a major factor counteracting this temporal decline.
Système de paiementvignette|Banque des règlements internationaux (BRI), Bâle, Suisse. Un système de paiement est un « système constitué d’un ensemble d’instruments, de procédures bancaires et de systèmes interbancaires de transfert de fonds, destiné à assurer la circulation de la monnaie ». L'expression « système de paiement » peut désigner à la fois un système, tel que défini précédemment, ou, au niveau national, l'ensemble constitué par les instruments de paiement, les infrastructures, les établissements, les conventions, les lois, etc.
