Prompt zum Schreiben eines Aufsatzes über Mathematische Logik

Geben Sie das Thema Ihres Aufsatzes zu «Mathematische Logik» an:
{additional_context}

**ANLEITUNG FÜR DEN KI-ASSISTENTEN:**
Basierend auf dem vom Benutzer bereitgestellten zusätzlichen Kontext (oben angegeben) erstellen Sie einen vollständigen, hochwertigen akademischen Aufsatz zur Mathematischen Logik. Befolgen Sie die folgende detaillierte Methodik streng, um eine präzise, originelle und evidenzbasierte Arbeit zu gewährleisten, die den Standards dieser Disziplin entspricht. Der gesamte Aufsatz muss auf Deutsch verfasst sein, formal und klar, mit korrekter logischer Argumentation.

**1. KONTEXTANALYSE (10-15% der Bemühungen):**
Analysieren Sie sorgfältig den zusätzlichen Kontext des Benutzers, um die spezifischen Anforderungen zu extrahieren:
- **Hauptthema identifizieren:** Bestimmen Sie den Kernaspekt der Mathematischen Logik, der behandelt werden soll (z.B. Gödels Unvollständigkeitstheoreme, formale Semantik, Anwendungen in der Informatik).
- **These formulieren:** Entwickeln Sie eine klare, argumentierbare These, die spezifisch und originell ist. Beispiel: „Obwohl Gödels Unvollständigkeitstheoreme die Grenzen formaler Systeme aufzeigen, ermöglichen erweiterte Beweistheorien wie die intuitionistische Logik robuste Alternativen für die Grundlagen der Mathematik.“
- **Aufsatztyp bestimmen:** Identifizieren Sie den Typ basierend auf dem Kontext (z.B. argumentativ, analytisch, vergleichend, historisch, forschungsbasiert). Typische Formate in der Mathematischen Logik umfassen Abhandlungen zu logischen Systemen, kritische Analysen von Beweisen oder vergleichende Studien verschiedener Logikkalküle.
- **Anforderungen notieren:** Wortanzahl (Standard: 1500-2500 Wörter, falls nicht angegeben), Zielgruppe (Studenten, Experten, Allgemeinheit), Zitierstil (Standard: APA 7. oder Chicago, da in der Mathematik oft verwendet), Formalität der Sprache (hoch, präzise), benötigte Quellen (Primärquellen wie Originalarbeiten, Sekundärliteratur).
- **Winkel und Schlüsselpunkte hervorheben:** Achten Sie auf spezifische Winkel (z.B. historische Entwicklung, philosophische Implikationen, technische Details) und Schlüsselpunkte, die der Benutzer erwähnt.
- **Disziplin ableiten:** Die Disziplin ist Mathematische Logik, also verwenden Sie relevante Terminologie (z.B. Prädikatenlogik, Modelltheorie, Berechenbarkeit) und evidenzbasierte Argumente aus der formalen Mathematik.

**2. THESE UND GLIEDERUNGSENTWICKLUNG (10-15% der Bemühungen):**
- **Starke These entwickeln:** Die These muss spezifisch, originell und auf das Thema zugeschnitten sein. Vermeiden Sie vage Aussagen; stattdessen: „Die Entwicklung der modalen Logik durch Saul Kripke hat nicht nur die Philosophie der Sprache revolutioniert, sondern auch neue Pfade in der theoretischen Informatik eröffnet.“
- **Hierarchische Gliederung erstellen:**
  I. Einleitung (Hintergrund, These, Fahrplan)
  II. Hauptteil 1: Subthema/Argument 1 (z.B. historische Grundlagen der Mathematischen Logik mit Fokus auf Frege und Russell)
  III. Hauptteil 2: Subthema/Argument 2 (z.B. technische Analyse eines spezifischen logischen Systems wie der Prädikatenlogik erster Stufe)
  IV. Hauptteil 3: Gegenargumente und Widerlegungen (z.B. Kritik an der klassischen Logik und Verteidigung durch Beweise)
  V. Hauptteil 4: Fallstudien oder Daten (z.B. Anwendung der Berechenbarkeitstheorie in der Informatik, gestützt auf Algorithmen)
  VI. Schlussfolgerung (Synthese, Implikationen, zukünftige Forschung)
- **Tiefe und Balance gewährleisten:** 3-5 Hauptabschnitte mit ausgewogener Behandlung; jeder Abschnitt sollte die These vorantreiben.
- **Best Practice:** Verwenden Sie Mind-Mapping, um Verbindungen zwischen logischen Konzepten herzustellen.

**3. FORSCHUNGSINTEGRATION UND BELEGSAMMLUNG (20% der Bemühungen):**
- **Quellen auswählen:** Ziehen Sie glaubwürdige, überprüfbare Quellen heran: begutachtete Zeitschriften, Bücher, Konferenzbeiträge und Datenbanken. Für Mathematische Logik relevante Ressourcen:
  - **Datenbanken:** MathSciNet, JSTOR, arXiv (für Preprints in Logik), Web of Science, Scopus.
  - **Zeitschriften:** „Journal of Symbolic Logic“, „Annals of Pure and Applied Logic“, „Studia Logica“, „Logic Journal of the IGPL“.
  - **Bücher und Sammelbände:** Werke von anerkannten Autoren wie Kurt Gödel, Alfred Tarski, oder moderne Einführungen von Autoren wie Dirk van Dalen (für intuitionistische Logik).
- **Erfundene Zitate vermeiden:** Erfinden Sie NIEMALS Zitate, Gelehrte, Zeitschriften oder Verlagsangaben. Wenn unsicher, verwenden Sie Platzhalter wie (Autor, Jahr) und [Titel], [Zeitschrift], [Verlag] – niemals erfundene, real klingende Referenzen.
- **Keine Quellen erfinden:** Wenn der Benutzer keine Quellen bereitstellt, empfehlen Sie, nach Arten von Quellen zu suchen (z.B. „begutachtete Artikel zu Modallogik“, „Primärquellen wie Gödels Originalmanuskripte“) und referenzieren Sie nur allgemeine Kategorien.
- **Belege integrieren:** Für jede Behauptung: 60% Beweise (Fakten, Zitate, formale Beweise), 40% Analyse (warum/wie es die These stützt). Triangulieren Sie Daten aus mehreren Quellen; priorisieren Sie aktuelle Forschung (nach 2015), aber schließen Sie klassische Werke ein.
- **Zitate diversifizieren:** 5-10 Zitate; Mischung aus Primärquellen (z.B. Originalarbeiten) und Sekundärliteratur (z.B. Kommentare, Lehrbücher).

**4. ENTWURF DER KERNINHALTE (40% der Bemühungen):**
- **Einleitung (150-300 Wörter):** Beginnen Sie mit einem Hook (z.B. ein Zitat von Bertrand Russell über Logik), geben Sie Hintergrundinformationen (2-3 Sätze zur Relevanz der Mathematischen Logik), skizzieren Sie den Fahrplan und präsentieren Sie die These klar.
- **Hauptteil:** Jeder Absatz (150-250 Wörter):
  - **Themensatz:** Beginnen Sie mit einer klaren Aussage, die den Abschnitt einführt (z.B. „Die Einführung der Mengenlehre durch Georg Cantor legte den Grundstein für moderne logische Systeme.“).
  - **Beweise:** Integrieren Sie Belege (paraphrasiert oder zitiert), z.B. Daten zu logischen Axiomen oder Beweisskizzen.
  - **Analyse:** Erklären Sie, wie die Beweise die These unterstützen, und verknüpfen Sie sie mit der Disziplin (z.B. „Diese Entwicklung ermöglichte präzise Formalisierungen, die bis heute in der Informatik Anwendung finden.“).
  - **Übergänge:** Verwenden Sie Phrasen wie „Darüber hinaus“ oder „Im Gegensatz dazu“ für logischen Fluss.
- **Gegenargumente behandeln:** Erkennen Sie mögliche Einwände an (z.B. Beschränkungen klassischer Logiken) und widerlegen Sie sie mit Beweisen (z.B. durch Verweis auf erweiterte Systeme wie lineare Logik).
- **Schlussfolgerung (150-250 Wörter):** Formulieren Sie die These neu, synthetisieren Sie die Kernpunkte, diskutieren Sie Implikationen (z.B. für die Philosophie oder Informatik), schlagen Sie zukünftige Forschung vor oder fordern Sie zu Handlungen auf.
- **Sprache:** Formal, präzise, abwechslungsreiches Vokabnutzung; aktive Voice, wo wirkungsvoll; vermeiden Sie Jargon, es sei denn, er ist disziplinspezifisch.

**5. ÜBERARBEITUNG, POLIERUNG UND QUALITÄTSSICHERUNG (20% der Bemühungen):**
- **Kohärenz prüfen:** Logischer Fluss, Signposting (z.B. „Ferner“, „Im Gegensatz“).
- **Klarheit verbessern:** Kurze Sätze, Definitionen von Fachbegriffen (z.B. „Syntax“ vs. „Semantik“).
- **Originalität sicherstellen:** Paraphrasieren Sie alles; zielen Sie auf 100% Einzigartigkeit ab.
- **Inklusivität:** Neutraler, unvoreingenommener Ton; berücksichtigen Sie globale Perspektiven in der logischen Forschung.
- **Korrekturlesen:** Grammatik, Rechtschreibung, Zeichensetzung; lesen Sie den Text geistig, um Flüssigkeit zu gewährleisten.
- **Best Practices:** Reverse-Outline nach dem Entwurf, um die Struktur zu überprüfen; schneiden Sie überflüssige Inhalte weg.

**6. FORMATIERUNG UND REFERENZEN (5% der Bemühungen):**
- **Struktur:** Titelseite (bei >2000 Wörtern), Abstract (150 Wörter, wenn forschungsbasiert), Schlüsselwörter, Hauptabschnitte mit Überschriften, Referenzen.
- **Zitate:** Inline (APA: (Autor, Jahr)) und vollständige Liste (mit Platzhaltern, falls keine realen Referenzen bereitgestellt).
- **Wortanzahl:** Zielen Sie auf die angegebene Wortanzahl ±10%.

**WICHTIGE ÜBERLEGUNGEN FÜR DIE MATHEMATISCHE LOGIK:**
- **Argumentation:** These-getrieben; jeder Absatz muss die logische Argumentation vorantreiben, mit Fokus auf Strenge und Klarheit.
- **Beweise:** Autoritativ, quantifiziert (z.B. durch formale Beweise), analysiert – nicht nur aufgelistet.
- **Struktur:** Für wissenschaftliche Arbeiten IMRaD (Einleitung, Methoden, Ergebnisse, Diskussion) oder Standard-Aufsatzstruktur.
- **Stil:** Engagiert, aber formal; Flesch-Score 60-70 für Lesbarkeit.
- **Innovation:** Frische Einblicke, z.B. Verbindungen zwischen klassischer Logik und modernen Bereichen wie Quantenlogik.
- **Vollständigkeit:** Selbstständig, keine losen Enden; schließen Sie alle logischen Schlussfolgerungen ab.

**BEISPIELE UND BEST PRACTICES FÜR MATHEMATISCHE LOGIK:**
- Beispiel für These: „Turingmaschinen und Churchs Lambda-Kalkül bieten äquivalente Modelle der Berechenbarkeit, was die universelle Natur formaler Systeme unterstreicht.“
- Gliederungs-Snippet: 1. Einleitung: Hook mit Turing-Test. 2. Historischer Kontext: Frege und die Begriffsschrift. 3. Technische Analyse: Beweistheorie mit Gentzen-Sequenten. 4. Fallstudie: Anwendung in der algorithmischen Logik.
- Praxis: Verwenden Sie das „Sandwich“-Modell für Beweise (Kontext-Beweis-Analyse).

**GEMEINFEHLER VERMEIDEN:**
- **SCHWACHE THESE:** Vage („Logik ist wichtig“) → Behebung: Machen Sie argumentierbar/spezifisch.
- **BEWEISÜBERLADUNG:** Zitate ohne Analyse → Integrieren Sie nahtlos.
- **SCHLECHTE ÜBERGÄNGE:** Abrupte Wechsel → Verwenden Sie Phrasen wie „Aufbauend darauf...“.
- **VOREINGENOMMENHEIT:** Einseitig → Beziehen und widerlegen Sie gegenteilige Ansichten.
- **IGNORIEREN VON SPECS:** Falscher Stil → Überprüfen Sie den Kontext doppelt.
- **UNTER/OVER LÄNGE:** Strategisch kürzen/erweitern.

Dieser Prompt ist so konzipiert, dass er KI-Assistenten zu disziplinspezifischen, hochwertigen Aufsätzen in der Mathematischen Logik anleitet, die akademischen Integrität und Tiefe gewährleisten.