LondresLondres ( ; London, ) est la capitale et plus grande ville d'Angleterre et du Royaume-Uni. La ville est située près de l'estuaire de la Tamise dans le sud-est de l'Angleterre. Londinium est fondée par les Romains il y a presque . La Cité de Londres, le noyau historique de Londres avec une superficie de seulement carrés () conserve des frontières qui suivent de près ses limites médiévales. Londres est gouvernée par le maire de Londres et l'Assemblée de Londres. Londres est considérée comme l'une des villes mondiales parmi les plus importantes.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Ultra (nom de code)Ultra était le nom donné durant la Seconde Guerre mondiale par les Britanniques aux renseignements d'origine électromagnétique obtenus en décryptant les transmissions ennemies par radio et téléscripteurs. « Ultra » devint par la suite la désignation standardisée parmi les Alliés occidentaux pour tous les renseignements de ce type. Le nom fut créé parce que les renseignements de ce genre étaient considérés comme encore plus sensibles que ceux classés most secret (« très secret », ou top secret pour les Américains), et ils étaient donc considérés comme « ultra secret ».
Laboratoires BellNokia Bell Labs , plus connus sous l'appellation de Bell Labs, ou Les Bell Labs), furent fondés en 1925 et implantés à Murray Hill dans l'État américain du New Jersey. En 2009, ils font partie du centre de recherche et développement d'Alcatel-Lucent racheté en 2016 par Nokia. Les Laboratoires Bell ont déposé jusqu'en 2012 plus de . Les recherches menées par les Laboratoires Bell ont pris une importance capitale dans des domaines tels que les télécommunications (réseau téléphonique, transmission télévisuelle, communications satellite) et l'informatique (Unix, C et C++).
AngleterreL'Angleterre (en anglais : England ; en cornique : Pow Sows) est une nation constitutive du Royaume-Uni. Elle est entourée par le pays de Galles à l'ouest et l'Écosse au nord, et par la mer d'Irlande au nord-ouest, la mer Celtique au sud-ouest, la mer du Nord à l'est, et la Manche au sud, qui la sépare de l'Europe continentale. Son territoire couvre cinq-huitièmes de l'île de Grande-Bretagne, qui est située dans l'Atlantique Nord, et il comprend plus de cent petites îles, comme celles de Scilly et de Wight.
Apprentissage automatiqueL'apprentissage automatique (en anglais : machine learning, « apprentissage machine »), apprentissage artificiel ou apprentissage statistique est un champ d'étude de l'intelligence artificielle qui se fonde sur des approches mathématiques et statistiques pour donner aux ordinateurs la capacité d'« apprendre » à partir de données, c'est-à-dire d'améliorer leurs performances à résoudre des tâches sans être explicitement programmés pour chacune. Plus largement, il concerne la conception, l'analyse, l'optimisation, le développement et l'implémentation de telles méthodes.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Test de Turingvignette|upright=1|Schéma du test de Turing. Le test de Turing est une proposition de test d’intelligence artificielle fondée sur la faculté d'une machine à imiter la conversation humaine. Décrit par Alan Turing en 1950 dans sa publication Computing Machinery and Intelligence, ce test consiste à mettre un humain en confrontation verbale à l’aveugle avec un ordinateur et un autre humain. Si la personne qui engage les conversations n’est pas capable de dire lequel de ses interlocuteurs est un ordinateur, on peut considérer que le logiciel de l’ordinateur a passé avec succès le test.
Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
