Concept
Théorème de compacité
Concepts associés (19)
Ultrafilter on a set
In the mathematical field of set theory, an ultrafilter on a set is a maximal filter on the set In other words, it is a collection of subsets of that satisfies the definition of a filter on and that is maximal with respect to inclusion, in the sense that there does not exist a strictly larger collection of subsets of that is also a filter. (In the above, by definition a filter on a set does not contain the empty set.) Equivalently, an ultrafilter on the set can also be characterized as a filter on with the property that for every subset of either or its complement belongs to the ultrafilter.
Second-order logic
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle).
Ultrafiltre
vignette|Le diagramme de Hasse montre l'ensemble de tous les sous-ensembles de {1,2,3,4}, partiellement ordonnés par inclusion d'ensemble (⊆). L'ensemble supérieur ↑{1,4} est surligné en vert foncé, c'est un filtre. Cependant, ce n'est pas un ultrafiltre, car il peut toujours être étendu au filtre correctement plus grand ↑{1}, représenté en vert clair. Ce dernier ne peut pas être étendu à son tour à un filtre non trivialement plus grand, il s'agit donc d'un ultrafiltre.
Théorie axiomatique
Quand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc. La théorie de la calculabilité en est un exemple. Par théorie axiomatique, on fait référence à quelque chose de plus précis, des axiomes et leurs conséquences, les théorèmes, énoncés dans un langage précis. Dans la suite on dira le plus souvent théorie pour théorie axiomatique, ce qui est d'usage courant en logique mathématique.
Théorie des modèles
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Ultraproduit
En mathématiques, un ultraproduit est une construction basée sur un ultrafiltre utilisée principalement en algèbre abstraite et en théorie des modèles (une branche de la logique mathématique) ; elle permet par exemple d'obtenir des extensions des réels, les nombres hyperréels, ayant les mêmes propriétés élémentaires que ceux-ci. La méthode générale de construction d'ultraproduits part d'un ensemble d'indices I, d'une structure Mi pour chaque élément i de I (toutes ayant la même signature), et d'un ultrafiltre U sur I.
Infiniment petit
Les infinitésimaux (ou infiniment petits) ont été utilisés pour exprimer l'idée d'objets si petits qu'il n'y a pas moyen de les voir ou de les mesurer. Le mot vient de infinitesimus (latin du ), ce qui signifiait à l'origine l'élément dans une série. Selon la notation de Leibniz, si x est une quantité, dx et Δx peuvent représenter une quantité infinitésimale de x. Dans le langage courant, un objet infiniment petit est un objet qui est plus petit que toute mesure possible, donc non pas d'une taille zéro, mais si petit qu'il ne peut être distingué de zéro par aucun moyen disponible.
Sentence (mathematical logic)
In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: as the free variables of a (general) formula can range over several values, the truth value of such a formula may vary.
Structure (logique mathématique)
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle). La sémantique de la logique du premier ordre se définit dans une structure.
Abraham Robinson
Abraham Robinson ( en Allemagne - aux États-Unis) est un mathématicien, logicien et un ingénieur en aérodynamique célèbre pour sa création de l’analyse non standard (1961), une théorie mathématique du calcul infinitésimal, qui rend rigoureux l'usage des infiniment petits et des infiniment grands introduit par Leibniz (vers 1690) et largement utilisé par Euler. La formalisation la plus usuelle du calcul infinitésimal, celle mise au point par les analystes du , évacue ces deux notions. Il reçoit la Médaille Brouwer en 1973.