Cette thèse a pour but la construction des bases conceptuelles qui peuvent soutenir une nouvelle lecture de la théorie de la sexuation chez Lacan. Le texte cherche à extraire des conséquences de l’aphorisme « l’être sexué ne s'autorise que de lui-même et de quelques autres », énoncé au sein d’une description des formules de la sexuation à partir d’un dire. Nous avons élu l’identification comme méthode, dans ses incidences aux registres réel, symbolique et imaginaire. Dans le premier chapitre nous avons discuté le parallèle entre la sexuation et l’autorisation de l’analyste et l’influence de Marcel Proust dans l’approche entre l’autorisation sexuée et le groupe fait par Lacan. Une analyse de luttes pour la reconnaissance sociale de genres non-intelligibles nous a fourni un modèle de groupe précisé par Lacan comme un « réel nouvellement émergé ». Dans notre deuxième chapitre, nous avons revisité les origines des notions de signifiant (dans l’idée de constellation symbolique), grand Autre (décrit au départ comme grands Autres) et loi symbolique (et son indissociable rapport à la norme chez Lévi-Strauss), pour démontrer de quelle façon l’altérité symbolique qui localise la position du sujet sexué est plurielle et basée sur la variabilité des éléments dans un système structurel. Notre dernier chapitre a exploré le rôle central des semblables dans le processus d’assomption sexuel et l’autorisation était décrite en termes d’une précipitation – présent dans stade du miroir et dans le moment de conclure du temps logique. À la fin de la recherche, on a discuté, à partir de la notion de sinthome, la centralité de l’acte de nomination, étant celui qui noue les trois registres de la sexuation / This thesis aims to detail the conceptual bases for a new reading of Lacan’s sexuation theory. We intent to investigate the genesis and consequences of the proposition “The sexed being is only authorized by him/herself and by some others”, uttered by Lacan on his seminar Les non-dupes errant, as he describes the formulas of sexuation in terms of a saying. In order to underscore the sexuation’s processual dimension, the concept of identification was turned into a methodological tool as we proceed an analysis of its incidences among the registers of the real, symbolic and imaginary in Lacan’s teaching. On our first chapter, we’ve discussed the sexuation and its parallel with the analyst’s authorization as well as Marcel Proust’s influence on the lacaninan relation between sexed authorization and the question of the group. Gender related social and political struggles were taken as a model of the lacanian notion of group as an “real recently emerged”. On our second chapter, we’ve explored the origins of the notions of signifier (from the idea of symbolic constellation), big Other (initially described as big Others) and symbolic law (and its inseparable relation with the norm in Lévi-Strauss), to indicate how the symbolic alterity that locates the sexed subject’s position is plural and based on the elements’ variability at one given structural system. The last chapter presents the fundamental role of the neighbors on the sexual assumption’s process and discusses the authorization in terms of an anticipation – found in both mirror stage and the logical time’s moment of concluding. Lastly, an analysis of the notion of sinthome has shown the centrality of the act of naming as an instance that knots the three registers of the sexuation

Reproduction de : Thèse de doctorat : Mathématiques : Faculté des sciences de Paris : 1868. / Titre provenant de la page de titre du document numérisé.

Texte remanié de: Th. Ph. D.--Harvard University, 1972. Titre de soutenance : Gormont et Isembart : a description of the epic as seen in light of the oral theory. / Bibliogr. p. 229-233.

Texte remanié de: Diss.--Philosophische Fakultät--Albert-Ludwig-Universität--Freiburg-im-Breisgau, 1989.

Diss.--Sprach- und Literaturwissenschaften--Regensburg--Universität, 1990.

Nous étudions l'algorithmique de deux problèmes centraux d'Intelligence Artificielle, pour des bases de connaissances représentées, notamment, par des formules propositionnelles de Horn, bijonctives, Horn-renommables ou affines. Nous traitons tout d'abord l'acquisition de connaissances à partir d'exemples : nous donnons notamment un algorithme efficace et général pour l'acquisition exacte, complétons l'état de l'art pour l'approximation et donnons un algorithme pour le PAC-apprentissage des formules affines. Nous étudions ensuite des problèmes de raisonnement : nous donnons un algorithme général pour l'abduction, qui nous permet d'exhiber de nouvelles classes polynomiales, et posons de premières pierres pour l'étude de ce processus lorsque la base de connaissances est approximative. L'étude des formules affines pour la représentation de connaissances n'avait jamais été réellement menée. Les résultats présentés dans ce mémoire montrent qu'elles possèdent de nombreuses bonnes propriétés.

De nombreux problèmes d'intelligence artificielle et de vérification formelle se ramènent à un test de validité d'une formule booléenne quantifiée (QBF). Mais, pour effectuer ce test les solveurs QBF actuels ont besoin d'une formule sous une forme syntaxique restrictive, comme la forme normale conjonctive ou la forme normale de négation. L'objectif de notre travail est donc de s'affranchir de ces contraintes syntaxiques fortes de manière à utiliser le langage des QBF dans toute son expressivité et nous traitons ce sujet de manière formelle et calculatoire. Notre première contribution est un ensemble d'équivalences et d'algorithmes qui permettent de traiter un motif particulier, les résultats intermédiaires. Ce motif apporte une alternative efficace en espace et en temps de résolution, à la suppression naïve des biimplications et des ou-exclusifs lors de la mise sous forme prénexe. Il offre également de nouvelles possibilités de transformations dans différents fragments du langage QBF. Notre deuxième contribution est d'ordre calculatoire et a pour but d'exploiter la puissance des architectures de calcul parallèles afin de traiter des QBF sans restriction syntaxique. Nous élaborons donc une architecture innovante pour la parallélisation du problème de validité des QBF. Son originalité réside dans son architecture dite de « parallélisation syntaxique » par opposition aux architectures de parallélisation basée sur la sémantique des quantificateurs.

.

.

Ce mémoire contient quelques résultats sur l'intégration numérique. Ils sont liés à la célèbre formule de quadrature de K. F. Gauss. Une généralisation très intéressante de la formule de Gauss a été obtenue par P. Turán. Elle est contenue dans son article publié en 1948, seulement quelques années après la seconde guerre mondiale. Étant données les circonstances défavorables dans lesquelles il se trouvait à l'époque, l'auteur (Turán) a laissé beaucoup de détails à remplir par le lecteur. Par ailleurs, l'article de Turán a inspiré une multitude de recherches; sa formule a été étendue de di érentes manières et plusieurs articles ont été publiés sur ce sujet. Toutefois, il n'existe aucun livre ni article qui contiennent un compte-rendu détaillé des résultats de base, relatifs à la formule de Turán. Je voudrais donc que mon mémoire comporte su samment de détails qui puissent éclairer le lecteur tout en présentant un exposé de ce qui a été fait sur ce sujet. Voici comment nous avons organisé le contenu de ce mémoire. 1-a. La formule de Gauss originale pour les polynômes - L'énoncé ainsi qu'une preuve. 1-b. Le point de vue de Turán - Compte-rendu détaillé des résultats de son article. 2-a. Une formule pour les polynômes trigonométriques analogue à celle de Gauss. 2-b. Une formule pour les polynômes trigonométriques analogue à celle de Turán. 3-a. Deux formules pour les fonctions entières de type exponentiel, analogues à celle de Gauss pour les polynômes. 3-b. Une formule pour les fonctions entières de type exponentiel, analogue à celle de Turán. 4-a. Annexe A - Notions de base sur les polynômes de Legendre. 4-b. Annexe B - Interpolation polynomiale. 4-c. Annexe C - Notions de base sur les fonctions entières de type exponentiel. 4-d. Annexe D - L'article de P. Turán. / This mémoire contains some results about numerical integration. They are related to the famous quadrature formula of K. F. Gauss. A very interesting generalization of the formula of Gauss was obtained by P.Turán. It is contained in a paper that was published in 1948, only a few years after the second world war. Due to adverse circunstances he was in at the time, the author (Turán) left many details for the reader to fill in. Otherwise, the article of Turán inspired a multitude of research, and his formula has been extended in many ways and several papers have been written on this subject. However, there is no single book or paper where one can nd a clear and comprehensive account of the basic results pertaining to Turán's formula. Thus, I would like my Master's mémoire to contain enough details that can enlighten the reader and present an exposition of much that has been done on this subject. Here is how we have arranged the contents of the mémoire. 1-a. The original formula of Gauss for polynomials - statement along with a proof. 1-b. Turán's point of view - detailed account of the results contained in his paper. 2-a. A formula for trigonometric polynomials analogous to that of Gauss. 2-b. A formula for trigonometric polynomials analogous to that of Turán. 3-a. Two formulae for entire functions of exponential type, analogous to the one of Gauss for polynomials. 3-b. A formula for entire functions of exponential type, analogous to that of Turán. 4-a. Annexe A - Basic facts about Legendre polynomials. 4-b. Annexe B - Polynomial interpolation. 4-c. Annexe C - Basic facts about entire functions of exponential type. 4-d. Annexe D - Paper of P. Turán.