Identifiez-vous ou Créez un compte

Définitions de métamathématique

 métamathématique

nom féminin


  • Théorie ayant pour objet l'étude des propriétés métathéoriques des théories mathématiques formalisées, notamment leur consistance et leur complétude. (C'est Hilbert qui a défini la métamathématique, en lui assignant pour objectif la formalisation des théories mathématiques. Tarski a repris ce concept en l'élargissant aux théories formalisées en général et en en faisant un domaine spécifique, subdivisé en syntaxe et sémantique.)

Notre coup de cœur de Noël

  • 300 pages passionnantes sur la France pour découvrir les plus beaux trésors du patrimoine
  • 2 000 photos, dessins, cartes

Voir un extrait

Cette application est universelle, une fois achetée, vous pouvez l'installer sur votre iPhone, iPod Touch ou iPad sans frais supplémentaires pour une interface adaptée à chaque appareil.