Bible du roi Jacquesvignette|Frontispice de l'édition princeps (1611) de la Bible du roi Jacques, par Cornelis Bol. La Bible du roi Jacques (King James Version en anglais, souvent abrégé KJV), publiée pour la première fois en 1611, est une traduction anglaise de la Bible effectuée sous le règne et à la demande de Jacques d'Angleterre. Elle supplante rapidement la précédente version autorisée, dite Bible des Évêques, d'un caractère trop savant, et devient de facto la Bible standard de l'Église d'Angleterre.
Nouveau TestamentLe Nouveau Testament (en Ἡ Καινὴ Διαθήκη / Hê Kainề Diathếkê) est l'ensemble des écrits relatifs à la vie de Jésus et à l'enseignement de ses premiers disciples, écrits reconnus comme « canoniques » par les autorités chrétiennes au terme d'un processus de plusieurs siècles. Ils sont dès l’origine rédigés en grec ancien. La liste des textes retenus par l'Église pour former le Nouveau Testament a été fixée en 363 lors du concile de Laodicée ; cependant, elle ne comprenait pas encore le texte de l'Apocalypse.
Aix-en-ProvenceAix-en-Provence (en provençal : Ais) est la capitale historique de la Provence. C'est aujourd'hui une commune française du Sud-Est de la France, dans le département des Bouches-du-Rhône, dont elle est sous-préfecture, en région Provence-Alpes-Côte d'Azur. Elle forme avec le pays d'Aix au sein de la Métropole Aix-Marseille Provence. Les habitants d'Aix s'appellent les Aixois en français (en provençal : lei sestian). Fondée en sous le nom d'Aquae Sextiae par la garnison romaine de Caius Sextius Calvinus, Aix devient par la suite la capitale du comté de Provence.
Computable functionComputable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithms, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output. Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Point rationnelEn théorie des nombres et géométrie algébrique, les points rationnels d'une variété algébrique définie sur un corps sont, lorsque X est définie par un système d'équations polynomiales, les solutions dans k de ce système. Soit une variété algébrique définie sur un corps . Un point est appelé un point rationnel si le corps résiduel de X en x est égal à . Cela revient à dire que les coordonnées du point dans une carte locale affine appartiennent toutes à .
Circle groupIn mathematics, the circle group, denoted by or , is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers The circle group forms a subgroup of , the multiplicative group of all nonzero complex numbers. Since is abelian, it follows that is as well. A unit complex number in the circle group represents a rotation of the complex plane about the origin and can be parametrized by the angle measure : This is the exponential map for the circle group.
Gras de tableau noirvignette|Un exemple de lettres en gras de tableau noir. Le gras de tableau noir ou du tableau noir, ou encore lettres ajourées ou lettres double barre ou blackboard gras, est un style de fonte de caractères où l’on retrouve certaines lettres avec une barre, oblique ou verticale, en double. Elle est régulièrement utilisée dans les textes de mathématiques et de physique. Les symboles décrivent généralement des ensembles de nombres. TeX, le logiciel le plus utilisé pour produire des textes mathématiques, ne possède pas cette fonte de caractères, mais l'AMS fournit le jeu de caractères.
Théorie de la calculabilitéLa théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité », de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs.
