Übersetzung für 'axiomatisation' von Französisch nach Deutsch

axiomatisation {f}

Axiomatisierung {f}

• Elle a été introduite par David Hilbert et Paul Bernays dans leur livre "Grundlagen der Mathematik". L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2.
• En partant du système d'axiomatisation de la logique du premier ordre, il suffit d'ajouter le schéma d'axiomes de compréhension ainsi qu'une version au second ordre de l'axiome de récurrence de Peano.
• Dans son article Landin a jeté les bases de trois concepts pour définir proprement des langages de programmation : la syntaxe abstraite, l'axiomatisation et les machines abstraites.
• La même année, Heinrich Weber donne la première véritable axiomatisation des corps (commutatifs), dans un article dont le but est de donner une présentation générale de la théorie de Galois.
• , le mathématicien David Hilbert, et avec lui, les formalistes pensaient pouvoir unifier les mathématiques grâce à une axiomatisation générale et à l'usage d'un langage formel commun.

• Dans ce deuxième livre, il rejette comme axiomatisation de la connaissance aussi bien le positivisme de Karl Popper que le relativisme de Paul Feyerabend, le premier parce qu'il contredit l'histoire des sciences, le second car il est incapable de démarquer sciences et pseudo-science.
• Par la suite, le travail d'axiomatisation se poursuit sous l'impulsion de Hamilton et de Grassmann. En 1843, Hamilton donne une première version de ses quaternions (en dimension 4 donc).
• En algèbre universelle, une variété est une "classe équationnelle", c'est-à-dire une classe "K" non vide de structures algébriques de même signature qui satisfont un ensemble d'identités (appelé axiomatisation équationnelle de la classe).
• Les développements de la théorie des ensembles, après sa première axiomatisation par Ernst Zermelo, ont permis ensuite de définir les entiers dans celle-ci, et donc la définition donnée en termes d'entiers peut se voir finalement comme une définition purement ensembliste.
• L'axiomatisation du langage permet de vérifier à la compilation diverses conditions de bonne fin.

• L'axiomatisation ici introduite est donc très générale, en particulier un plan projectif peut être ou non fini, et certains plans projectifs finis satisfaisant ces axiomes ne sont pas des plans définis sur un corps fini.
• Dans cet article, elle est étudiée à partir de son axiomatisation dans l'arithmétique de Peano (voir également entier naturel).
• En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du [...] par Georg Cantor.
• Peano, dont une contribution importante a été l'axiomatisation rigoureuse des concepts existants — notamment la construction des ensembles usuels — a été un des premiers à donner une définition contemporaine du concept d'espace vectoriel vers la fin du [...].