LANGAGE, logique mathématique

Ce sujet est traité dans les articles suivants :

1.  INFORMATIQUE - Principes

Écrit par : Jacques HEBENSTREIT

Dans le chapitre "Automates et langages formels"  : … Un* langage formel est, par définition, un langage ne possédant qu'une syntaxe et pas de sémantique. Un tel langage est très différent des langages naturels puisqu'il ne comporte qu'une grammaire et que le sens des mots n'intervient pas. C'est cependant en partant, non pas de la linguistique, mais de l'activité linguistique des individus, et en… Lire la suite

2.  KLEENE STEPHEN COLE (1909-1994)

Écrit par : Pierre GOUJON

… *Mathématicien américain né à Hartford (Connecticut). Diplômé de l'Amherst College, Stephen C. Kleene entre, en 1930, à l'université de Princeton. Il est docteur de la même université en 1934. Dès cette époque, il partage son temps entre l'enseignement (université du Wisconsin) et la recherche. Il est successivement membre du Conseil national de la… Lire la suite

3.  LOGIQUE MATHÉMATIQUE

Écrit par : Daniel ANDLER, Roger MARTIN

Dans le chapitre "Les notions fondamentales : la logique du premier ordre"  : … Tout *langage L, qu'il soit naturel ou (plus ou moins) artificiel, donne à distinguer les objets suivants : – un vocabulaire A, composé des « mots » de L ; – une collection ℱ de suites finies de mots qui sont les « phrases » (admissibles, « grammaticales ») de L ; – une collection D de suites… Lire la suite

4.  MALTSEV ANATOLI IVANOVITCH (1909-1967)

Écrit par : Gabriel SABBAGH

… *Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik, 1936, Maltsev démontre la version la plus générale (aucune… Lire la suite

5.  MODÈLES THÉORIE DES

Écrit par : Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH

Dans le chapitre "Quelques outils fondamentaux"  : … Nous supposons connues les notions de *langage du premier ordre L, de L-structure (ou réalisation de L) et de satisfaction d'un énoncé ϕ (formule close, c'est-à-dire sans variable libre) de L, dans une L-structure a, dite modèle de ϕ (on note a ⊨ ϕ). Une théorie de L est, dans le présent… Lire la suite

6.  ŠAUMJAN SÉBASTIEN KONSTANTINOVIC (1916- )

Écrit par : Zlatka GUENTCHÉVA

… *Connu comme le créateur du modèle génératif applicationnel, S. K. Šaumjan (ou Chaoumian) a été membre du conseil scientifique de l'Académie des sciences de l'U.R.S.S. et chef de la section des méthodes structurales dans l'étude des langues à l'Institut de la langue russe à Moscou. À partir de 1975, il travaille aux États-Unis (Yale University). La… Lire la suite