Histoire et chronologie de l'Universvignette|upright=1.5|Schéma simplifié des principales étapes de la formation de l'Univers.1- Big Bang.2- Ère de l'inflation.3- Découplage de l'interaction forte et faible et formation des particules.4- Formation des étoiles et galaxies. Lhistoire et la chronologie de l'Univers décrit l'évolution de l’Univers en s'appuyant sur le modèle standard de la cosmologie, fondé sur le modèle cosmologique du Big Bang et les recherches en cosmologie et en astronomie. Selon plusieurs estimations, l'âge de l'Univers serait d'environ d'années.
Thèse de ChurchLa thèse de Church est une thèse concernant la définition de la notion de calculabilité. Dans une forme dite « physique », elle affirme que la notion physique de la calculabilité, définie comme étant tout traitement systématique réalisable par un processus physique ou mécanique, peut être exprimée par un ensemble de règles de calcul, défini de plusieurs façons dont on a pu démontrer mathématiquement qu'elles sont équivalentes.
Effective methodIn logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class. An effective method is sometimes also called a mechanical method or procedure. The definition of an effective method involves more than the method itself. In order for a method to be called effective, it must be considered with respect to a class of problems.
Shing-Tung YauShing-Tung Yau ( ; ku1 sêng-tông), né le à Shantou, est un mathématicien chinois connu pour ses travaux en géométrie différentielle, et est à l'origine de la théorie des variétés de Calabi-Yau. Shing-Tung Yau naît dans la ville de Shantou, province de Guangdong (Chine) dans une famille de huit enfants. Son père, un professeur de philosophie, est mort alors qu'il avait quatorze ans. Il déménage à Hong Kong avec sa famille, où il étudie les mathématiques à l'université chinoise de Hong Kong de 1966 à 1969.
Plateau (géographie)Le plateau est une des trois formes principales du relief en topographie, avec les plaines et les montagnes. Il se définit comme une aire géographique où les cours d'eau sont encaissés, par opposition aux plaines où les cours d'eau coulent à fleur de sol. Le relief dans les interfluves y est peu marqué, ce qui différencie un plateau d'une montagne. La dénivellation entre le cours d'eau et le rebord du plateau peut être si profonde que le complexe des vallées et vallons est alors appelé gorges ou canyon.
Plateau du ColoradoLe plateau du Colorado s'étend à l'ouest des États-Unis sur . Cette vaste région couvre la majeure partie de quatre États : le Colorado, l'Utah, l'Arizona et le Nouveau-Mexique. Environ 90% de la zone est drainée par le fleuve Colorado et ses principaux affluents : la Green River, la San Juan River et le Little Colorado. Constitué de l'empilement de couches géologiques de Grand Staircase, ce site géologique le plus connu de cette vaste région est le Grand Canyon.
Plateau tibétainLe plateau tibétain est un vaste ensemble de plateaux situé en Asie centrale, au nord de l'Himalaya, dont la majeure partie est située en République populaire de Chine et quelques parties le sont en Birmanie, au Bhoutan, au Népal et en Inde. Il a été créé par la collision des plaques indienne et eurasienne qui ont pris en étau les plaques de Qiantang et de Lhassa au cours du Cénozoïque. Constituant une des plus grandes structures topographiques de la Terre, il a d'importants effets climatiques régionaux (aridité du plateau lui-même, mousson) et mondiaux (circulation atmosphérique mondiale).
Récursivement énumérableEn théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si : il existe un algorithme qui prend un entier naturel en entrée, et qui s'arrête exactement sur les entiers de ; ou, de manière équivalente : il existe un procédé algorithmique qui, au cours de son fonctionnement, énumère en sortie tous les entiers de et seulement ceux-ci (il est possible, et même nécessaire quand est infini, qu'il ne s'arrête pas).
