Academic literature on the topic 'Isomorphisme des langages'

Cet article fait suite à [D] dont il utilise les résultats.Soit if ℒ langage constitué de deux constantes 0 et 1, et de deux fonctions + et ·; si A est un sous-ensemble d'une structure de ℒ, nous noterons if ℒ (A) le langage obtenu en ajoutant à ℒ if les éléments de A comme constantes.Tous les corps considérés seront commutatifs. Nous appellerons corps de courbe sur un corps k une extension K de k finiment engendrée de degré de transcendance 1 sur k telle que k soit relativement algébriquement clos dans K.Nous appellerons ensemble de coefficients d'une courbe sur un corps k un sous-ensemble A de K tel qu'il existe un système de générateurs de l'idéal de cette courbe dont les coefficient sont des éléments de A.Nous nous proposons d'étudier les conjectures suivantes:1. Conjecture. Si K est un corps de courbe sur un corps algébriquement clos k, il existe un sous-ensemble fini A de k tel que tout corps de courbe sur kélémentairement équivalent à K dans le langage ℒ (A), lui est k-isomorphe.2. Conjecture. Deux corps de courbe sur un corps algébriquement clos K élémentairement équivalents dans le langage ℒ sont isomorphes.Nous démontrerons ces conjectures lorsque le genre est différent de 1, et si le genre est 1, lorsque la caractéristique est nulle et le corps de courbe sans multiplication complexe.Une version plus simple de cet article est parue dans [D′].

On sait que par le choix d’ un langage suffisamment complexe, toute structure peut admettre une élimination des quantificateurs, malheureusement cette extension du langage peut nous éloigner des phénomènes algébriques. Nous allons nous intéresser à l’ élimination des quantificateurs pour des paires de corps. Dans le cas des paires de corps algébriquement clos et des paires denses de corps réel clos, on obtient une élimination en ajoutant au langage des prédicats ayant une signification algébrique: on peut les exprimer en disant que pour deux ensembles algébriques et donnés, il existe des points du sous-corps rationnels pour et pas pour , ou qu’ un ensemble semi-algébrique donné a des points rationnels sur le sous-corps. Robinson avait déjà abordé de façon informelle le cas des paires denses de corps réel-clos (cf. [Ro 2, p. 198]). Partant du langage des paires de corps ordonnés, enrichi de symboles de relations correspondant à l’ indépendance algébrique, il proposait d’ ajouter pas à pas des fonctions de Skolem Herbrand pour faire disparaitre les quantificateurs existentiels des formules, mais sans préciser le langage obtenu. Ici nous approchons le problème différemment en explicitant dès le départ le langage utilisé.Grâce à ces résultats nous pourrons étudier le cas des paires séparées de corps réels clos ainsi que des paires de corps valués henseliens. En élargissant la définition d’ ensemble algébrique à tous les symboles du langage, les prédicats relationnels ajoutés ont la même signification que dans le cas des paires de corps algébriquement clos.En comparant les techniques employées ici avec celles déjà utilisées dans [K], [B], [D 1] et [L], on remarque qu’il est possible de traîter une grande partie de l’ étude (complétude, modèle complétude, élimination des quantificateurs) des paires de corps algébriquement clos, réel-clos ou henseliens en se basant sur des prolongements d’ isomorphismes entre sous-structures dénombrables où l’ une des deux est contenue dans une structure ω1-saturée.

This article presents an edited version of lectures given by Paul Ricœur at Johns Hopkins University in April 1966. Ricœur offers a comparative analysis of Wittgenstein’s and Husserl’s late works, taking the problem of language as the common ground of investigation for these two central figures of phenomenology and analytic philosophy. Ricœur develops his study in two parts. The first part considers Husserl’s approach to language after the Logical Investigations and concentrates on Formal and Transcendental Logic; leaving a transcendental reflection on language behind it re-examines a phenomenological conception, according to which the sphere of logic is not separable from that of experience. The main focus of the second part is Wittgenstein’s later philosophy as it moved on from the conception of an isomorphic relation between language and the world, as set out in the picture theory in the Tractatus Logico-Philosophicus, to the more pragmatic notion of a language-game in the Philosophical Investigations. In order to get beyond the irrevocable differences between the two philosophies and the unresolved theoretical issues on both sides, Ricœur suggests turning to a semiological paradigm based on the Saussurean distinction between “language” and “speaking.” Keywords: Analytic Philosophy, Husserl, Phenomenology, Semiology, Wittgenstein.Résumé Cet article est une version éditée de conférences données par Paul Ricœur à la Johns Hopkins University en avril 1966. Ricœur propose une analyse comparée des dernières œuvres de Wittgenstein et Husserl, avec le problème du langage comme sol commun d’investigations pour ces deux figures centrales de la phénoménologie et la philosophie analytique. Cette analyse de Ricœur se joue à travers deux parties. La première partie revient sur l'approche du langage chez Husserl depuis Recherches logiques avec une attention particulière aux développements de Logique formelle et logique transcendantale; dans le cadre d’une réflexion transcendantale sur le langage il revient sur une conception phénoménologique selon laquelle, le domaine du logique n’est pas séparable de celui de l'expérience. La deuxième partie se concentre principalement sur la dernière philosophie de Wittgenstein alors qu’il s'est départi de l’idée d’une relation isomorphique entre le langage et le monde telle que posée par la théorie du tableau dans le Tractatus logico-philosophicus, pour s’engager vers la notion plus pragmatique de jeu de langage dans les Investigations philosophiques. Afin de surmonter les différences irrémédiables entre les deux philosophies et, dans une certaine mesure, certains des problèmes théoriques non résolus depuis les deux bords, Ricœur fait finalement référence à un paradigme sémiologique et à la distinction saussurienne entre “langue” et “parole.” Mots-clés: Husserl, phénoménologie, sémiologie, philosophie analytique, Wittgenstein

On propose une synthèse de différents systèmes de types: la théorie des types de Martin-Loef, le calcul d'ordre supérieur de Girard, et le calcul automath de De Bruijn. Le résultat fondamental de ce travail est une preuve de cohérence du calcul ainsi obtenu (la théorie des constructions). D'après les résultats de Girard, ce système a la puissance d'expression de l'arithmétique d'ordre supérieure. Les exemples développes sont de deux ordres: en logique (on retrouve les différents systèmes logiques connus) et en informatique (le type étant alors la spécification du programme)

Le but de cette thèse est de trouver des modèles de haut niveau dans lesquelles l'auto-modification s'exprime facilement. Une donnée est lisible et modifiable, alors qu'un programme est exécutable. On décrit une machine abstraite où cette dualité est structurellement mise en valeur. D'une part une zone de programmes contient tous les registres exécutables, et d'autre part une zone de données contient les registres lisibles et exécutables. L'auto-modification est permise par le passage d'un registre d'une zone à l'autre. Dans ce cadre, on donne une abstraction de l'exécution de la machine qui extrait seulement les informations d'auto-modification. Logiquement, on essaye de trouver une correspondance de Curry-Howard entre un langage avec auto-modification et un système logique. Dans ce but on construit une extension de lambda-calcul avec termes gelés, c'est à dire des termes qui ne peuvent se réduire. Ces termes sont alors considérés comme des données, et les autres sont les programmes. Notre langage a les propriétés usuelles du lambda-calcul (confluence). D'autre part, on donne un système de types dans lequel un sous ensemble des termes du langage peuvent s'exprimer. Ce système est inspiré de la Logique Linéaire, sans gestion des ressources. On prouve que ce système de types a de bonnes propriétés, comme celle de la réduction du sujet. Finalement, on étend le système avec les continuations et la double négation, dans un style à la Krivine<br>The goal of my Ph.D. is to finds high level models in which self-modification can be expressed. What is readable and changeable is a data, and a program is executable. We propose an abstract machine where this duality is structurally emphasized. On one hand the program zone beholds registers which can be executed, and on the other hand data zone contains readable and changeable registers. Self-modification is enabled by passing a data register into program zone, or a program register into data zone. In this case, we give an abstraction of executions which only extracts information about self-modifications: execution is cut into paths without self-modification. For the logical part, we tried to find a Curry-Howard correspondence between a language with self-modifications and logical world. For that we built an extension of lambda-calculus with frozen terms, noted , that is, terms which cannot reduce. This terms are considered as data. Other terms are programs. We first prove that this language as expected properties like confluence. On the other hand, we found a type system where a subset of terms of this language can be expressed. Our type system is inspired by Linear Logic, without resources management. We prove that this system has good properties like subject reduction. We finally have extended the system with continuation and double negation. This extension can be expressed in a krivine style, using a machine inspired by krivine machine

En utilisant une technique de reecriture de termes dans un langage formel de categories, un theoreme de coherence d'une classe d'isomorphismes canoniques est prouvee dans les categories localement closes. Une telle methode trouve ses applications dans l'etude de la decidabilite et de la coherence des isomorphismes de types

La thèse porte sur le discours sociologique russe des années 90. Il s'agissait de comprendre comment sont liés les sens du discours sociologique et les propriétés sociales des sociologues. Une base empirique de la recherche était la revue " Sociologuitcheskie issledovaniya ". La Première partie fait l'état de lieu de la sociologie russe actuelle. La partie explique l'approche à l'étude du discours sociologique et les notions principales utilisées au cours du travail. La Deuxième Partie est consacré aux résultats d'étude. Cette partie expose la procédure d'analyse des textes sociologiques et des caractéristiques sociales des auteurs. Elle porte sur l'étude simultanée des sens du discours sociologique et des caractéristiques sociales des agents. L'analyse dit qu'il y a une correspondance biunivoque entre deux types de distribution des caractéristiques structurelles (isomorphisme). L'isomorphisme dit que la reconnaissance scientifique est la forme spécifique de la reconnaissance sociale<br>The thesis is about the Russian sociological discourse of 90 years. The aim was to understand the relation between the sociological discourse and the social properties of the sociologists. The empirical base of research was the review "Sociologuitcheskie issledovaniya". The First Part makes posture of the current state of the Russian sociology. It explains also the approach used for studying the sociological discourse and the principal concepts. The Second Part is devoted to the results of research. It exposes the procedure of analysis of the sociological texts and the social characteristics of the authors. It relates to the simultaneous study of the senses of sociological discourse and the social characteristics of the agents. The analysis makes possible to say that there is a one-one mapping between two types of distribution of the structural characteristics (isomorphism). The fact of isomorphism says that the scientific recognition is the specific form of the social recognition

Cette thèse porte sur l'adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d'un langage de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de considérer les théorèmes de représentation pour le système T de Gödel et le système F de Girard comme deux instances d'un théorème plus général.Puis, nous expliquons comment les relations logiques de la théorie de la paramétricité peuvent s'exprimer en terme de réalisabilité, ce qui montre que la logique engendrée fournit un cadre adéquat pour développer une théorie de la paramétricité du langage de départ. Pour finir, nous montrons comment cette théorie de la paramétricité peut-être adaptée au système sous-jacent à l'assistant de preuve Coq et nous donnons un exemple d'application original de la paramétricité à la formalisation des mathématiques.