Filtern
Volltext vorhanden
- ja (2)
Dokumenttyp
Gehört zur Bibliographie
- ja (2) (entfernen)
Schlagworte
- Gleichheit (2) (entfernen)
Institut
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.
Im Januar 2008 wäre Simone de Beauvoir, die wohl bedeutendste und gleichermaßen umstrittenste französische Schriftstellerin und Philosophin des 20. Jahrhunderts, einhundert Jahre alt geworden. Ihre wissenschaftlichen wie literarischen Arbeiten waren getragen vom Geist der Freiheit und Gleichheit aller Individuen. Besonders Beauvoirs tiefgreifende Analyse der geschlechtlichen Rollenverteilung in der Gesellschaft und ihre radikale Forderung nach Gleichstellung der Geschlechter bewegten zutiefst die Gemüter. Das traf auch auf ihre gelebte Rebellion für weibliche Autonomie als Part der Selbstbestimmung der Menschen zu. Der Beitrag begibt sich anhand des von Simone de Beauvoir selbst gezeichneten Entwicklungsweges auf Spurensuche nach Besonderheiten, die sie zu diesen tiefgreifenden emanzipatorischen Vorstellungen ebenso wie zu ihrem weltweiten politischen Engagement veranlassten.