Refine
Has Fulltext
- yes (2) (remove)
Document Type
- Bachelor Thesis (1)
- Master's Thesis (1)
Is part of the Bibliography
- yes (2)
Keywords
- equality (2) (remove)
Institute
Diese Magisterarbeit ist dem bis heute sehr komplexen Geschlechterverhältnis gewidmet. Dieses Verhältnis werde ich analysieren, indem ich das literarische Motiv des Geschlechtertausches ausarbeite. Dabei werde ich seine kulturhistorische Entwicklung berücksichtigen. Das Thema wird interdisziplinär behandelt und zwar mithilfe anthropologischer, psychoanalytischer, literaturwissenschaftlicher sowie ideengeschichtlicher Perspektiven und Methoden – all dies um seine Komplexität zu erfassen. Zunächst wird die menschliche Geschlechtsidentität als ein naturbedingtes Phänomen einerseits und als ein kulturelles Konstrukt andererseits diskutiert. Die Psychoanalyse wird den feministischen Theorien entgegen gestellt, woraufhin sie sich als Versuch der Legitimierung der gesellschaftlichen Ordnung erweist. Die anschließende Analyse der kulturellen Repräsentationsformen des Weiblichen wird es deutlich machen, wie schwer es ist, die über mehrere Jahrhunderte tradierten Weiblichkeitsbilder zu „neutralisieren“. Die literarische Grundlage für die Untersuchung der Geschlechterbeziehungen verschaffen die drei „Geschichten über die Umwandlung der Verhältnisse“ (1980). In allen Texten vollzieht sich ein Geschlechtswandel: die Protagonistinnen schlüpfen in männliche Körper ein und auf einmal erfahren sie die Welt aus der bisher unbekannten Perspektive. Dabei empfindet jede von denen die neue Situation anders und doch so ähnlich. Anhand von Sarah Kirschs „Blitz aus dem heiterm Himmel“, Irmtraud Morgners „Gute Botschaft der Valeska in 73 Strophen“ und Christa Wolfs „Selbstversuch. Traktat zu einem Protokoll“ werden die regressiven patriarchalischen Strukturen aufgedeckt, in denen der Frau eine minderwertige Positionierung in einer Gesellschaft zugeschrieben wird. Da sich die Beziehungen zwischen Männern und Frauen in den gesellschaftlichen Machtverhältnissen widerspiegeln, werden die Geschichten im Kontext der sozialistischen Wirklichkeit der DDR in den 1970er Jahre analysiert. Aus diesen Untersuchungen ergeben sich klare Erkenntnisse: die Realität des „emanzipierten“ DDR-Staates hatte mit dem marxistischen Traum nichts zu tun. Diese in den Erzählungen widerspiegelte historisch-politische Wirklichkeit stellte die propagandistische Gleichberechtigung der Frauen in Frage. Die Sozialpolitik wird als eine der modernen männlichen Legitimationsstrategien für die Erhaltung der patriarchalischen Ordnung entschleiert. Damit die Frau nicht mehr über den Mann definiert wird, müsste eine grundlegende Veränderung der gesellschaftlichen Geschlechtsvorstellungen erfolgen. Alle in dieser Arbeit untersuchten Geschlechtertauschgeschichten beinhalten diverse Utopie-Entwürfe, die jedoch keine perfekte Ordnung darstellen. Ganz im Gegenteil – das sind eher negative Utopien, die fundamentale Kritik an der Ungleichheit der gesellschaftlichen Positionierung der Geschlechter zum Ziel haben. Christa Wolf, Irmtraud Morgner und Sarah Kirsch thematisierten in ihren Erzählungen die Problematik der Geschlechterverhältnisse in der DDR der 1970er Jahre und machten auf die Dringlichkeit des weiblichen Widerstandes aufmerksam. Gleichzeitig soll dieser literarische Diskurs die eigentliche Möglichkeit der Veränderung des gesellschaftlichen Status der Frauen aufzeigen. Daher sind diese imaginierten Geschlechtertauschgeschichten als Manifeste für wahre Gleichstellung der Frauen zu lesen.
In this bachelor’s thesis I implement the automatic theorem prover nanoCoP-Ω. This system is the result of porting arithmetic and equality handling procedures first introduced in the automatic theorem prover with arithmetic leanCoP-Ω into the similar system nanoCoP 2.0. To understand these procedures, I first introduce the mathematical background to both automatic theorem proving and arithmetic expressions. I present the predecessor projects leanCoP, nanoCoP and leanCoP-Ω, out of which nanCoP-Ω was developed. This is followed by an extensive description of the concepts the non-clausal connection calculus needed to be extended by, to allow for proving arithmetic expressions and equalities, as well as of their implementation into nanoCoP-Ω. An extensive comparison between both the runtimes and the number of solved problems of the systems nanoCoP-Ω and leanCoP-Ω was made. I come to the conclusion, that nanoCoP-Ω is considerably faster than leanCoP-Ω for small problems, though less well suited for larger problems. Additionally, I was able to construct a non-theorem that nanoCoP-Ω generates a false proof for. I discuss how this pressing issue could be resolved, as well as some possible optimizations and expansions of the system.